Cover Image

Hypercubical manifolds in homotopy type theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mimram, Samuel, Oleon, Émile
Format:	Preprint
Published:	2025
Subjects:	Algebraic Topology Logic in Computer Science
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)

Delooping cyclic groups with lens spaces in homotopy type theory
by: Mimram, Samuel, et al.
Published: (2024)

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)

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

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

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

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

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
by: Ljungström, Axel, 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)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
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)

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

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)

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

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)

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

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

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

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)

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

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

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

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

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

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

Realization of relational presheaves
by: Chamoun, Yorgo, et al.
Published: (2025)

Binomial rings and homotopy theory
by: Horel, Geoffroy
Published: (2022)

Algebraicity in monochromatic homotopy theory
by: Aambø, Torgeir
Published: (2024)

A net theoretic approach to homotopy theory
by: Mezabarba, Renan Maneli, et al.
Published: (2024)

The condensed homotopy type of a scheme
by: Haine, Peter J., et al.
Published: (2025)

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