Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.00331 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)
by: Weinberger, Jonathan
Published: (2024)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)
by: Gratzer, Daniel, et al.
Published: (2024)
The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)
by: Gratzer, Daniel, et al.
Published: (2025)
The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)
by: Otten, Daniël, et al.
Published: (2025)
$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)
by: Stenzel, Raffael
Published: (2020)
Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)
by: Awodey, S., et al.
Published: (2021)
Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)
by: Riehl, Emily
Published: (2025)
On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)
by: Riehl, Emily
Published: (2022)
A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)
by: Coraglia, Greta, et al.
Published: (2024)
The Physical Mathematics of Segal Topoi and Strings
by: Gauthier, Renaud
Published: (2022)
by: Gauthier, Renaud
Published: (2022)
Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)
by: Ikeda, Yuto
Published: (2026)
A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)
by: Spadetto, Matteo
Published: (2025)
A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs
by: Savage, Rhiannon
Published: (2026)
by: Savage, Rhiannon
Published: (2026)
A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)
by: Hazratpour, Sina, et al.
Published: (2022)
Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)
by: Bardomiano-Martínez, César
Published: (2024)
Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)
by: Christensen, J. Daniel, et al.
Published: (2023)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)
by: Fiore, M., et al.
Published: (2024)
Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)
by: Oggad, Kenan
Published: (2026)
Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)
by: Kapulkin, Chris, et al.
Published: (2023)
Classifying Infinity Topoi via Weighted Limits
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
Motivic classifying $\infty$-topoi and spectral stacks
by: Kato, Yuki
Published: (2017)
by: Kato, Yuki
Published: (2017)
A condensed proof of the pro-étale and étale exodromy theorems
by: de Bruyn, Remy van Dobben
Published: (2026)
by: de Bruyn, Remy van Dobben
Published: (2026)
The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)
by: Clarke, Bryce, et al.
Published: (2025)
CaTT contexts are finite computads
by: Benjamin, Thibaut, et al.
Published: (2024)
by: Benjamin, Thibaut, et al.
Published: (2024)
The Heisenberg category of a category
by: Gyenge, Ádám, et al.
Published: (2021)
by: Gyenge, Ádám, et al.
Published: (2021)
Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)
by: Marquès, Jérémie, et al.
Published: (2025)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)
by: Mikhail, Thomas Jan
Published: (2024)
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
by: Carranza, Daniel, et al.
Published: (2023)
by: Carranza, Daniel, et al.
Published: (2023)
Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)
by: Christensen, J. Daniel
Published: (2021)
2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)
by: Mesiti, Luca
Published: (2024)
Map monoidales and duoidal $\infty$-categories
by: Torii, Takeshi
Published: (2024)
by: Torii, Takeshi
Published: (2024)
Localizing and colocalizing subcategories on schemes
by: Alonso, Leovigildo, et al.
Published: (2024)
by: Alonso, Leovigildo, et al.
Published: (2024)
On duoidal $\infty$-categories
by: Torii, Takeshi
Published: (2021)
by: Torii, Takeshi
Published: (2021)
A simple model for twisted arrow $\infty$-categories
by: Torii, Takeshi
Published: (2024)
by: Torii, Takeshi
Published: (2024)