Cover Image

Delooping cyclic groups with lens spaces in homotopy type theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mimram, Samuel, Oleon, Émile
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Algebraic Topology
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Classifying covering types in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2025)

Hypercubical manifolds in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2025)

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

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

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

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

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

Symmetric Monoidal Smash Products in Homotopy Type Theory
by: Ljungström, Axel
Published: (2024)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
by: Ljungström, Axel, et al.
Published: (2024)

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

The Steenrod squares via unordered joins
by: Ljungström, Axel, et al.
Published: (2025)

Persistent homology of partially ordered spaces
by: Calk, Cameron, et al.
Published: (2023)

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

Formalizing the zigzag construction of path spaces of pushouts
by: Štěpančík, Vojtěch
Published: (2025)

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

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

Epimorphisms and Acyclic Types in Univalent Foundations
by: Buchholtz, Ulrik, et al.
Published: (2024)

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

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

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

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Computational techniques for sheaf cohomology of locally profinite sets
by: Schachner, Mark
Published: (2026)

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

Log homotopy types are homotopy types with modulus
by: Kelly, Shane
Published: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

On the Formalization of Network Topology Matrices in HOL
by: Aksoy, Kubra, et al.
Published: (2026)

Finite groups as homotopy self-equivalences of finite spaces
by: Celis-Rojas, Juan Felipe
Published: (2024)

The order of the group of self-homotopy equivalence of wedge spaces
by: Zhu, Zhongjian
Published: (2015)

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

Synthetic equivariant spectra for finite abelian groups and motivic homotopy theory
by: Allen, Keita, et al.
Published: (2025)

The K-theory cochains of H-spaces and height 1 chromatic homotopy theory
by: van Nigtevecht, Sven
Published: (2022)

On the group of homotopy classes of relative homotopy automorphisms
by: Espic, Hadrien, et al.
Published: (2020)

Linear stable ranges for integral homotopy groups of configuration spaces
by: Guès, Nicolas
Published: (2025)

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

On cohomology of locally profinite sets
by: Aoki, Ko
Published: (2024)

On the homotopy type of the space of metrics of positive scalar curvature
by: Ebert, Johannes, et al.
Published: (2020)

Compact quotients of homogeneous spaces and homotopy theory of sphere bundles
by: Kassel, Fanny, et al.
Published: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
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)