Cover Image

The homotopy theory of type theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Format:	Preprint
Published:	2016
Subjects:	Category Theory 18G55 Homotopical algebra (primary) 03B15 Higher-order logic & type theory 18C50 Cat'l semantics of formal languages 55U35 Abstract & axiomatic homotopy theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Homotopical inverse diagrams in categories with attributes
by: Kapulkin, Chris, et al.
Published: (2018)

Comparing semantic frameworks for dependently-sorted algebraic theories
by: Ahrens, Benedikt, et al.
Published: (2024)

Constructive reflectivity principles for regular theories
by: Forssell, Henrik, et al.
Published: (2016)

Truncation, Negation, and Coherence Obstructions in Higher-Categorical Logic
by: Yugo Hidaka
Published: (2026)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

Makkai's lost proof of projectivity of N in the free topos
by: Forssell, Henrik, et al.
Published: (2026)

Cubical setting for discrete homotopy theory, revisited
by: Carranza, Daniel, et al.
Published: (2022)

Homotopy groups of cubical sets
by: Carranza, Daniel, et al.
Published: (2022)

Synthetic approach to the Quillen model structure on topological spaces
by: Ebel, Sterling, et al.
Published: (2023)

Pushforwards in Inverse Homotopical Diagrams
by: Kapulkin, Chris, et al.
Published: (2025)

Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory
by: Kato, Yuki
Published: (2023)

Automated Deduction – CADE 29
Published: (2023)

Non-unital algebra objects of stable symmetric monoidal model categories by Smith ideal theory
by: Kato, Yuki
Published: (2023)

Discrete homotopy hypothesis for n-types
by: Carranza, Daniel, et al.
Published: (2026)

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
by: Carranza, Daniel, et al.
Published: (2023)

Tilting equivalence of finite almost derived algebraic cobordism for perfectoid algebras
by: Kato, Yuki
Published: (2025)

Homotopy $n$-types of cubical sets and graphs
by: Kapulkin, Chris, et al.
Published: (2024)

Derived mapping spaces of $\infty$-categories
by: Arakawa, Kensuke, et al.
Published: (2025)

Inferences Between Buridan’s Modal Propositions
by: Jonas Dagys
Published: (2022)

A modern perspective on rational homotopy theory
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Álgebras para la lógica implicativa con conjunción
by: Mauricio Castillo
Published: (2010)

André-Quillen Cohomology and $k$-invariants of simplicial categories
by: Blanc, David, et al.
Published: (2022)

The fundamental group in discrete homotopy theory
by: Kapulkin, Chris, et al.
Published: (2023)

Calculus of Fractions for Quasicategories
by: Carranza, Daniel, et al.
Published: (2023)

Norms in equivariant homotopy theory
by: Lenz, Tobias, et al.
Published: (2025)

A cubical model for $(\infty, n)$-categories
by: Campion, Tim, et al.
Published: (2020)

Towards a Theory of Interoperability of Software Systems
by: Diana M. Torres
Published: (2023)

Cofibration category of digraphs for path homology
by: Carranza, Daniel, et al.
Published: (2022)

Algebraic models for equivariant rational homotopy theory for discrete groups
by: Moreno-Fernández, José M., et al.
Published: (2026)

Dwyer-Kan homotopy theory of enriched categories
by: Muro, Fernando
Published: (2012)

Generation time for biexact functors and Koszul objects in triangulated categories
by: Letz, Janina C., et al.
Published: (2024)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
by: Salhab, Najih
Published: (2026)

Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories
by: Doherty, Brandon, et al.
Published: (2021)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Published: (2018)

Diagrammatic sets as a model of homotopy types
by: Chanavat, Clémence, et al.
Published: (2024)

A simple model for twisted arrow $\infty$-categories
by: Torii, Takeshi
Published: (2024)

Uniqueness of monoidal adjunctions
by: Torii, Takeshi
Published: (2023)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

The group of homotopy self-equivalences is a Lax functor
by: Yamaguchi, Toshihiro, et al.
Published: (2026)

Transactions on Fuzzy Sets and Systems
Published: (2023)