ScalingStacks

[00MI][GK17] David Gepner; Joachim Kock. Univalence in locally cartesian closed \(\infty\)-categories. Forum Math., 29, 617–652, 2017. Source Read chapter →

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich

Original source: arXiv:2401.02956v2

    Original source · 2401.02956v2