Cover Image

Epimorphisms and Acyclic Types in Univalent Foundations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Buchholtz, Ulrik, de Jong, Tom, Rijke, Egbert
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Algebraic Topology Category Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product
by: Anel, Mathieu, et al.
Published: (2023)

Univalent Enriched Categories and the Enriched Rezk Completion
by: van der Weide, Niels
Published: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

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

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Towards a theory of natural directed paths
by: Gaucher, Philippe
Published: (2023)

On Small Types in Univalent Foundations
by: de Jong, Tom, et al.
Published: (2021)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)

$(\infty,2)$-Topoi and descent
by: Abellán, Fernando, et al.
Published: (2024)

Path spaces of pushouts
by: Wärn, David
Published: (2024)

Globalizing and stabilizing global $\infty$-categories
by: Linskens, Sil
Published: (2024)

PROPs associated to Lawvere theories and their relation to polynomial functors
by: Kim, Minkyu
Published: (2024)

Sectional number of a morphism
by: Zapata, Cesar A. Ipanaque
Published: (2024)

Straightening for lax transformations and adjunctions of $(\infty,2)$-categories
by: Abellán, Fernando, et al.
Published: (2024)