Cover Image

The algebraic internal groupoid model of Martin-Löf type theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hughes, Calum
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic 18D40, 03B15, 18N40, 03G30, 18A15, 18B40, 18B25, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)

Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)

Kan extensions are partial colimits
by: Perrone, Paolo, et al.
Published: (2021)

The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)

The $(\infty,2)$-category of internal $(\infty,1)$-categories
by: Stenzel, Raffael
Published: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Colimits of internal categories
by: Hughes, Calum, et al.
Published: (2025)

Free extensivity via distributivity
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Generalized multicategories: change-of-base, embedding, and descent
by: Prezado, Rui, et al.
Published: (2023)

A model structure for Grothendieck fibrations
by: Moser, Lyne, et al.
Published: (2023)

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

Comonadic approach to pretorsion theories
by: Caviglia, Elena, et al.
Published: (2026)

Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
by: Clementino, Maria Manuel, et al.
Published: (2024)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

2-Segal sets and pseudomonoids in the bicategory of spans
by: Marx, Sophia E, et al.
Published: (2025)

Ultracategories as colax algebras for a pseudo-monad on CAT
by: Hamad, Ali
Published: (2025)

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

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)

Functors Preserving Effective Descent Morphisms
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)

The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)

Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)