Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.02748 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Simplicial sets in topology, category theory, and beyond
by: Bergner, Julia E.
Published: (2024)
by: Bergner, Julia E.
Published: (2024)
Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)
by: Cioffo, Cipriano Junior
Published: (2023)
Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)
by: Nasu, Hayato
Published: (2025)
A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)
by: Spadetto, Matteo
Published: (2025)
Partial algebras and implications of (weak) matrix properties
by: Hoefnagel, Michael, et al.
Published: (2024)
by: Hoefnagel, Michael, et al.
Published: (2024)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
Homologie polygraphique des systèmes locaux
by: Guetta, Léonard, et al.
Published: (2023)
by: Guetta, Léonard, et al.
Published: (2023)
Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)
by: Hackney, Philip, et al.
Published: (2022)
Homological Lemmas in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2024)
by: Cappelletti, Andrea, et al.
Published: (2024)
Symmetric monoidal extensions and graph cobordisms between finite sets
by: Bianchi, Andrea
Published: (2025)
by: Bianchi, Andrea
Published: (2025)
On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)
by: Riehl, Emily
Published: (2022)
Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)
by: Berg, Benno van den, et al.
Published: (2024)
The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025)
by: Desrochers, Samuel
Published: (2025)
The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)
by: Kapulkin, Chris, et al.
Published: (2012)
Simplicial properadic homotopy
by: Hoffbeck, Eric, et al.
Published: (2025)
by: Hoffbeck, Eric, et al.
Published: (2025)
Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Double categories of relations relative to factorisation systems
by: Hoshino, Keisuke, et al.
Published: (2023)
by: Hoshino, Keisuke, et al.
Published: (2023)
Simplicial Approach to Frobenius Algebras in the Category of Relations
by: Lachman, Dominik
Published: (2025)
by: Lachman, Dominik
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)
Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)
by: Fiore, Marcelo, et al.
Published: (2024)
Cech cohomology of partially ordered sets
by: Husainov, Ahmet A.
Published: (2023)
by: Husainov, Ahmet A.
Published: (2023)
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)
by: Hughes, Calum
Published: (2025)
A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)
by: Emmenegger, Jacopo, et al.
Published: (2023)
Unitary magma actions
by: Martins-Ferreira, Nelson
Published: (2024)
by: Martins-Ferreira, Nelson
Published: (2024)
Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)
by: Carneiro, Mario, et al.
Published: (2025)
The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)
by: van Woerkom, Wijnand, et al.
Published: (2024)
Cartesian double theories: A double-categorical framework for categorical doctrines
by: Lambert, Michael, et al.
Published: (2023)
by: Lambert, Michael, et al.
Published: (2023)
The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)
by: Gratzer, Daniel, et al.
Published: (2025)
Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)
by: Gratzer, Daniel, et al.
Published: (2024)
On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)
by: Wrigley, Joshua
Published: (2025)
Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)
by: Helfer, Joseph
Published: (2024)
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)
by: Weinberger, Jonathan
Published: (2022)
A Model Categoric Equivalence for Crossed Simplicial Modules
by: Kaya, Haydar Can, et al.
Published: (2024)
by: Kaya, Haydar Can, et al.
Published: (2024)
Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)
by: Kamio, Yuhi, et al.
Published: (2024)
Exact weights and path metrics for triangulated categories and the derived category of persistence modules
by: Bubenik, Peter, et al.
Published: (2024)
by: Bubenik, Peter, et al.
Published: (2024)
Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)
by: Hamad, Ali
Published: (2025)
Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)
by: Menni, Matías
Published: (2024)