ScalingStacks

Univalence in locally cartesian closed infinity-categories

David Gepner, Joachim Kock

Original source: arXiv:1208.1749v5

View source status

Author TeX is available. HTML chapter conversion is pending.

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

    Original source · 1208.1749v5