Saved in:
| Main Authors: | Hughes, Calum, Miranda, Adrian |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.17769 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A 2-dimensional torsion theory on symmetric monoidal categories
by: Messora, Mariano
Published: (2025)
by: Messora, Mariano
Published: (2025)
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)
by: Hughes, Calum
Published: (2025)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)
by: Mesiti, Luca
Published: (2023)
Presheaves on lax double functors; or, Instances of models of double theories
by: Carlson, Kevin, et al.
Published: (2025)
by: Carlson, Kevin, et al.
Published: (2025)
Nerves of enriched categories via necklaces
by: Mertens, Arne
Published: (2024)
by: Mertens, Arne
Published: (2024)
Categories graded by group homomorphisms
by: Davies, Jonathan
Published: (2026)
by: Davies, Jonathan
Published: (2026)
Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)
by: Carlson, Kevin D., et al.
Published: (2026)
The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)
by: Fujii, Soichiro, et al.
Published: (2025)
Combinatorial model categories are equivalent to presentable quasicategories
by: Pavlov, Dmitri
Published: (2021)
by: Pavlov, Dmitri
Published: (2021)
Involutive Weak Cubical $ω$-categories
by: Bejrakarbum, Paratat, et al.
Published: (2025)
by: Bejrakarbum, Paratat, et al.
Published: (2025)
Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)
by: Fröhlich, Benedikt, et al.
Published: (2024)
Enriched quasi-categories and the templicial homotopy coherent nerve
by: Lowen, Wendy, et al.
Published: (2023)
by: Lowen, Wendy, et al.
Published: (2023)
Involutive Weak Globular $ω$-categories
by: Bejrakarbum, Paratat, et al.
Published: (2023)
by: Bejrakarbum, Paratat, et al.
Published: (2023)
Computads for generalised signatures
by: Markakis, Ioannis
Published: (2023)
by: Markakis, Ioannis
Published: (2023)
Enriched model categories and the Dold-Kan correspondence
by: Frankland, Martin, et al.
Published: (2025)
by: Frankland, Martin, et al.
Published: (2025)
Groupoidal and truncated $n$-quasi-categories
by: Brittes, Victor
Published: (2024)
by: Brittes, Victor
Published: (2024)
Deformation Theory for $(\infty,n)$-categories
by: Kositsyn, Roman
Published: (2025)
by: Kositsyn, Roman
Published: (2025)
Auslander-Reiten theory in quasi-abelian and Krull-Schmidt categories
by: Shah, Amit
Published: (2018)
by: Shah, Amit
Published: (2018)
Multiplicative structures on comodules in higher categories
by: Torii, Takeshi
Published: (2025)
by: Torii, Takeshi
Published: (2025)
Notes on some categories related to that of finite totally ordered sets
by: Matsuoka, Takuo
Published: (2025)
by: Matsuoka, Takuo
Published: (2025)
The $(\infty,2)$-category of internal $(\infty,1)$-categories
by: Stenzel, Raffael
Published: (2024)
by: Stenzel, Raffael
Published: (2024)
Relative field theories via relative dualizability
by: Scheimbauer, Claudia, et al.
Published: (2023)
by: Scheimbauer, Claudia, et al.
Published: (2023)
The category of necklaces is Reedy monoidal
by: Marques, Violeta Borges, et al.
Published: (2023)
by: Marques, Violeta Borges, et al.
Published: (2023)
Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)
by: Bardomiano-Martínez, César
Published: (2024)
Group completion via the action $\infty$-category
by: Lehner, Georg
Published: (2024)
by: Lehner, Georg
Published: (2024)
Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)
by: Uemura, Taichi
Published: (2024)
Formal category theory in augmented virtual double categories
by: Koudenburg, Seerp Roald
Published: (2022)
by: Koudenburg, Seerp Roald
Published: (2022)
Pretorsion theories in prenormal categories
by: Mantovani, Sandra, et al.
Published: (2025)
by: Mantovani, Sandra, et al.
Published: (2025)
What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)
by: Lack, Stephen, et al.
Published: (2022)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)
by: Ko, Joanna
Published: (2026)
The formal theory of tangentads PART I
by: Lanfranchi, Marcello
Published: (2025)
by: Lanfranchi, Marcello
Published: (2025)
The formal theory of tangentads PART II
by: Lanfranchi, Marcello
Published: (2026)
by: Lanfranchi, Marcello
Published: (2026)
The oplax limit of an enriched category
by: Fujii, Soichiro, et al.
Published: (2022)
by: Fujii, Soichiro, et al.
Published: (2022)
Kleisli categories, T-categories and internal categories
by: Bourn, Dominique
Published: (2024)
by: Bourn, Dominique
Published: (2024)
Fully exact and fully dualizable module categories
by: Gainutdinov, Azat M., et al.
Published: (2026)
by: Gainutdinov, Azat M., et al.
Published: (2026)
Atom spectra of symmetric monoidal abelian categories and classification of subcategories
by: Saito, Shunya
Published: (2026)
by: Saito, Shunya
Published: (2026)
The derivator of a dg-category
by: Genovese, Francesco, et al.
Published: (2025)
by: Genovese, Francesco, et al.
Published: (2025)
Contextads as Wreaths; Kleisli, Para, and Span Constructions as Wreath Products
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Universality of span 2-categories and the construction of 6-functor formalisms
by: Cnossen, Bastiaan, et al.
Published: (2025)
by: Cnossen, Bastiaan, et al.
Published: (2025)
Similar Items
-
A 2-dimensional torsion theory on symmetric monoidal categories
by: Messora, Mariano
Published: (2025) -
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025) -
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024) -
Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023) -
Presheaves on lax double functors; or, Instances of models of double theories
by: Carlson, Kevin, et al.
Published: (2025)