Cover Image

The Simplicial Model of Univalent Foundations (after Voevodsky)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapulkin, Chris, Lumsdaine, Peter LeFanu
Format:	Preprint
Published:	2012
Subjects:	Logic Algebraic Topology Category Theory 03B15, 55U10 (Primary), 18C50, 55U35 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The homotopy theory of type theories
by: Kapulkin, Chris, et al.
Published: (2016)

First-order homotopical logic
by: Helfer, Joseph
Published: (2019)

Abstract Excision and $\ell^1$-Homology
by: Witzig, Johannes
Published: (2022)

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

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

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

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

Homotopy limits of model categories, revisited
by: Bergner, Julia E.
Published: (2024)

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

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

Cyclic Segal Spaces
by: Bergner, Julia E., et al.
Published: (2024)

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

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

On twisting functions in twisted cartesian products and twisted tensor products
by: Cai, Li
Published: (2025)

Simplicial Homology Groups
by: Mishra, Sanjay
Published: (2025)

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

On the universality of multiexcisive functors
by: Barthel, Tobias, et al.
Published: (2026)

Discrete Differential Calculus on Simplicial Complexes and Constrained Homology
by: Ren, Shiquan
Published: (2021)

Models for rational $(\infty, 1)$-categories
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Globular subdivisions are dihomotopy equivalences
by: Gaucher, Philippe
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

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

Classification diagrams of simplicial categories
by: Arakawa, Kensuke
Published: (2024)

Cartesian exponentiation and monadicity
by: Riehl, Emily, et al.
Published: (2021)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

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

Cech cohomology of partially ordered sets
by: Husainov, Ahmet A.
Published: (2023)

Simplicial sets in topology, category theory, and beyond
by: Bergner, Julia E.
Published: (2024)

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

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

Cartesian Fibrations of $(\infty,2)$-categories
by: Gagna, Andrea, et al.
Published: (2021)

Generalizing quasi-categories via model structures on simplicial sets
by: Feller, Matthew
Published: (2021)

A homotopy coherent nerve for $(\infty,n)$-categories
by: Moser, Lyne, et al.
Published: (2022)

Explicit Acyclic Models and (Co)Chain Operations
by: Brumfiel, Greg, et al.
Published: (2023)

Classification Diagrams of Marked Simplicial Sets
by: Arakawa, Kensuke
Published: (2023)

Naive homotopy theories in cartesian closed categories
by: Hernández, Enrique Ruiz, et al.
Published: (2024)

A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
by: Sati, Hisham, et al.
Published: (2026)

Rigidification of connective comodules
by: Péroux, Maximilien
Published: (2020)