Buchumschlag

Formalizing the zigzag construction of path spaces of pushouts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Štěpančík, Vojtěch
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic Algebraic Topology
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Path spaces of pushouts
von: Wärn, David
Veröffentlicht: (2024)

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

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

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

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

Fully faithful functors and pushouts of $\infty$-categories
von: Haine, Peter J., et al.
Veröffentlicht: (2025)

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

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

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

Classifying covering types in homotopy type theory
von: Mimram, Samuel, et al.
Veröffentlicht: (2025)

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

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

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

Modal Fracture of Higher Groups
von: Myers, David Jaz
Veröffentlicht: (2021)

Choice axioms and Postnikov completeness
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Basic Category Theory
von: Leinster, Tom
Veröffentlicht: (2016)

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

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)

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

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

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

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

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

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

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

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)

Presentation of finite Reedy categories as localizations of finite direct categories
von: Sato, Genki
Veröffentlicht: (2025)

Non-Formality of $S^2$ via the free loop space
von: McGowan, Ryan, et al.
Veröffentlicht: (2024)

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

Graphical configuration spaces, Contractads and Formality
von: Khoroshkin, Anton, et al.
Veröffentlicht: (2025)

Formal Manifold Structures on Positive Characteristic Varieties
von: Hu, Runjie, et al.
Veröffentlicht: (2025)

On construction schemes: building the uncountable from finite pieces
von: Chapital, Jorge Antonio Cruz
Veröffentlicht: (2024)

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

Formality of Sphere Bundles
von: Zhou, Jiawei
Veröffentlicht: (2023)

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

A Classification of Six Functor Formalisms via Structured Spaces
von: Nabaala, Salash Tolan
Veröffentlicht: (2025)

Continuous colorings on compact spaces
von: de Rancourt, Noé, et al.
Veröffentlicht: (2025)

AKSZ construction for shifted Poisson structures
von: Tomić, Nikola
Veröffentlicht: (2026)