Buchumschlag

Formalizing colimits in Cat

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Carneiro, Mario, Riehl, Emily
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory 03B38, 18A30, 18A35, 18N50, 68V20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2025)

Synthetic perspectives on spaces and categories
von: Riehl, Emily
Veröffentlicht: (2025)

Free extensivity via distributivity
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
von: Hazratpour, Sina, et al.
Veröffentlicht: (2022)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Strongly finitary metric monads are too strong
von: Adamek, Jiri
Veröffentlicht: (2026)

On effective descent $\mathcal V$-functors and familial descent morphisms
von: Prezado, Rui
Veröffentlicht: (2023)

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
von: van Woerkom, Wijnand, et al.
Veröffentlicht: (2024)

Kan extensions are partial colimits
von: Perrone, Paolo, et al.
Veröffentlicht: (2021)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

The Yoneda embedding in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2025)

Directed univalence in simplicial homotopy type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
von: Xarez, João J.
Veröffentlicht: (2025)

Effective descent morphisms of ordered families
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
von: Malbos, Philippe, et al.
Veröffentlicht: (2024)

Free colimit completion in $\infty$-categories
von: Rezk, Charles
Veröffentlicht: (2022)

Lax functorialities of the comma construction for $ω$-categories
von: Ara, Dimitri, et al.
Veröffentlicht: (2025)

On extensivity of morphisms
von: Hoefnagel, Michael, et al.
Veröffentlicht: (2025)

Injectivity paucity in AB5 categories of oversize chains
von: Chirvasitu, Alexandru
Veröffentlicht: (2026)

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Indexed Grothendieck construction
von: Caviglia, Elena, et al.
Veröffentlicht: (2023)

Functors Preserving Effective Descent Morphisms
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Simplicial Perspectives on (Pseudo) Effect Algebras
von: Lachman, Dominik
Veröffentlicht: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

$(\infty,n)$-Limits I: Definition and first consistency results
von: Moser, Lyne, et al.
Veröffentlicht: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

$(\infty,n)$-Limits II: Comparison across models
von: Moser, Lyne, et al.
Veröffentlicht: (2024)

Categories graded by group homomorphisms
von: Davies, Jonathan
Veröffentlicht: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
von: Malbos, Philippe, et al.
Veröffentlicht: (2025)

Hybrid Systems as Coalgebras: Lyapunov Morphisms for Zeno Stability
von: Moeller, Joe, et al.
Veröffentlicht: (2026)

Presheaves and cocompletions in formal category theory
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)

Partial algebras and implications of (weak) matrix properties
von: Hoefnagel, Michael, et al.
Veröffentlicht: (2024)