A 2-categorical proof of Frobenius for fibrations defined from a generic point

Documenti analoghi

• Synthetic perspectives on spaces and categories
  di: Riehl, Emily
  Pubblicazione: (2025)
• On the $\infty$-topos semantics of homotopy type theory
  di: Riehl, Emily
  Pubblicazione: (2022)
• Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
  di: Weinberger, Jonathan
  Pubblicazione: (2022)
• Kripke-Joyal forcing for type theory and uniform fibrations
  di: Awodey, S., et al.
  Pubblicazione: (2021)
• Generalized Chevalley criteria in simplicial homotopy type theory
  di: Weinberger, Jonathan
  Pubblicazione: (2024)