Buchumschlag

Classifying covering types in homotopy type theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mimram, Samuel, Oleon, Émile
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Algebraic Topology
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hypercubical manifolds in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2025)

Delooping cyclic groups with lens spaces in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2024)

Delooping presented groups in homotopy type theory
von: Champin, Camil, et al.
Veröffentlicht: (2024)

Central H-spaces and banded types
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2023)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
von: Wärn, David
Veröffentlicht: (2023)

The equivariant model structure on cartesian cubical sets
von: Awodey, Steve, et al.
Veröffentlicht: (2024)

Non-trivial higher homotopy of first-order theories
von: Campion, Tim, et al.
Veröffentlicht: (2023)

Elementary $\infty$-toposes from type theory
von: Apol, Daniël, et al.
Veröffentlicht: (2025)

The Steenrod squares via unordered joins
von: Ljungström, Axel, et al.
Veröffentlicht: (2025)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
von: Ljungström, Axel, et al.
Veröffentlicht: (2023)

Symmetric Monoidal Smash Products in Homotopy Type Theory
von: Ljungström, Axel
Veröffentlicht: (2024)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
von: Ljungström, Axel, et al.
Veröffentlicht: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
von: Cherradi, El Mehdi
Veröffentlicht: (2022)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

Globular weak $ω$-categories as models of a type theory
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2021)

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

Log homotopy types are homotopy types with modulus
von: Kelly, Shane
Veröffentlicht: (2025)

Manifold Diagrams for Higher Categories
von: Heidemann, Lukas
Veröffentlicht: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Persistent homology of partially ordered spaces
von: Calk, Cameron, et al.
Veröffentlicht: (2023)

Higher geometric sheaf theories
von: Stenzel, Raffael
Veröffentlicht: (2022)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Formalizing the zigzag construction of path spaces of pushouts
von: Štěpančík, Vojtěch
Veröffentlicht: (2025)

Computational techniques for sheaf cohomology of locally profinite sets
von: Schachner, Mark
Veröffentlicht: (2026)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
von: Perutka, Tomáš
Veröffentlicht: (2026)

The condensed homotopy type of a scheme
von: Haine, Peter J., et al.
Veröffentlicht: (2025)

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

The homotopy type of the PL cobordism category. I
von: Lopez, Mauricio Gomez
Veröffentlicht: (2016)

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

Magnitude homology and homotopy type of metric fibrations
von: Asao, Yasuhiko, et al.
Veröffentlicht: (2024)

On the Formalization of Network Topology Matrices in HOL
von: Aksoy, Kubra, et al.
Veröffentlicht: (2026)

Towards a theory of natural directed paths
von: Gaucher, Philippe
Veröffentlicht: (2023)

gl(2) foams and the Khovanov homotopy type
von: Krushkal, Vyacheslav, et al.
Veröffentlicht: (2021)

On the homotopy type of L-spectra of the integers
von: Hebestreit, Fabian, et al.
Veröffentlicht: (2020)

A Bar-Natan homotopy type
von: Sano, Taketo
Veröffentlicht: (2021)

On cohomology of locally profinite sets
von: Aoki, Ko
Veröffentlicht: (2024)

On the homotopy type of the space of metrics of positive scalar curvature
von: Ebert, Johannes, et al.
Veröffentlicht: (2020)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

Presheaves of groupoids as models for homotopy types
von: Guetta, Léonard
Veröffentlicht: (2022)

On the rational $C_2$-homotopy type of ${BSU_{\mathbb{R}}}_m$
von: Sukarto, Eunice
Veröffentlicht: (2025)