Image de couverture de livre

Central H-spaces and banded types

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Buchholtz, Ulrik, Christensen, J. Daniel, Flaten, Jarl G. Taxerås, Rijke, Egbert
Format:	Preprint
Publié:	2023
Sujets:	Algebraic Topology Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Ext groups in Homotopy Type Theory
par: Christensen, J. Daniel, et autres
Publié: (2023)

Epimorphisms and Acyclic Types in Univalent Foundations
par: Buchholtz, Ulrik, et autres
Publié: (2024)

Delooping cyclic groups with lens spaces in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2024)

The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)

Classifying covering types in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2025)

Hypercubical manifolds in homotopy type theory
par: Mimram, Samuel, et autres
Publié: (2025)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
par: Ljungström, Axel, et autres
Publié: (2023)

Symmetric Monoidal Smash Products in Homotopy Type Theory
par: Ljungström, Axel
Publié: (2024)

The Steenrod squares via unordered joins
par: Ljungström, Axel, et autres
Publié: (2025)

Computational Synthetic Cohomology Theory in Homotopy Type Theory
par: Ljungström, Axel, et autres
Publié: (2024)

Primitive Recursive Dependent Type Theory
par: Buchholtz, Ulrik, et autres
Publié: (2024)

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

Persistent homology of partially ordered spaces
par: Calk, Cameron, et autres
Publié: (2023)

Elementary $\infty$-toposes from type theory
par: Apol, Daniël, et autres
Publié: (2025)

Manifold Diagrams for Higher Categories
par: Heidemann, Lukas
Publié: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2026)

Computational techniques for sheaf cohomology of locally profinite sets
par: Schachner, Mark
Publié: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
par: Mikhail, Thomas Jan
Publié: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
par: Cherradi, El Mehdi
Publié: (2022)

On symmetries of spheres in univalent foundations
par: Cagne, Pierre, et autres
Publié: (2024)

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

Wadge degrees of $Δ^0_2$ omega-powers
par: Finkel, Olivier, et autres
Publié: (2024)

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
par: Wärn, David
Publié: (2023)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

Non-trivial higher homotopy of first-order theories
par: Campion, Tim, et autres
Publié: (2023)

Modal Fracture of Higher Groups
par: Myers, David Jaz
Publié: (2021)

Higher presentable categories and limits
par: Aoki, Ko
Publié: (2025)

Choice axioms and Postnikov completeness
par: Anel, Mathieu, et autres
Publié: (2024)

Basic Category Theory
par: Leinster, Tom
Publié: (2016)

Higher geometric sheaf theories
par: Stenzel, Raffael
Publié: (2022)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
par: Perutka, Tomáš
Publié: (2026)

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

Path Types in Algebraic Type Theory
par: Awodey, Steve, et autres
Publié: (2026)

Machine Space I: Weak exponentials and quantification over compact spaces
par: Faul, Peter F., et autres
Publié: (2022)

On cohomology of locally profinite sets
par: Aoki, Ko
Publié: (2024)

The Yoneda embedding in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2025)

Directed univalence in simplicial homotopy type theory
par: Gratzer, Daniel, et autres
Publié: (2024)

On the Formalization of Network Topology Matrices in HOL
par: Aksoy, Kubra, et autres
Publié: (2026)

Separating domains from algebraic domains
par: Jia, Xiaodong, et autres
Publié: (2025)

Stratifying Reinforcement Learning with Signal Temporal Logic
par: Curry, Justin, et autres
Publié: (2026)