$(\infty,1)$-Categorical Comprehension Schemes

Ejemplares similares

• The $(\infty,2)$-category of internal $(\infty,1)$-categories
  por: Stenzel, Raffael
  Publicado: (2024)
• Internal sums for synthetic fibered $(\infty,1)$-categories
  por: Weinberger, Jonathan
  Publicado: (2022)
• Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
  por: Rasekh, Nima
  Publicado: (2025)
• Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
  por: Weinberger, Jonathan
  Publicado: (2022)
• An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
  por: Maietti, Maria Emilia, et al.
  Publicado: (2025)