Imagen de Portada

Formalizing the zigzag construction of path spaces of pushouts

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Štěpančík, Vojtěch
Formato:	Preprint
Publicado:	2025
Materias:	Logic Algebraic Topology
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Path spaces of pushouts
por: Wärn, David
Publicado: (2024)

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

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

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

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

Fully faithful functors and pushouts of $\infty$-categories
por: Haine, Peter J., et al.
Publicado: (2025)

On cohomology of locally profinite sets
por: Aoki, Ko
Publicado: (2024)

Higher presentable categories and limits
por: Aoki, Ko
Publicado: (2025)

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

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

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

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

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

Modal Fracture of Higher Groups
por: Myers, David Jaz
Publicado: (2021)

Choice axioms and Postnikov completeness
por: Anel, Mathieu, et al.
Publicado: (2024)

Basic Category Theory
por: Leinster, Tom
Publicado: (2016)

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

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

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

Higher geometric sheaf theories
por: Stenzel, Raffael
Publicado: (2022)

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

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

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

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

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

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

Manifold Diagrams for Higher Categories
por: Heidemann, Lukas
Publicado: (2024)

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

Presentation of finite Reedy categories as localizations of finite direct categories
por: Sato, Genki
Publicado: (2025)

Non-Formality of $S^2$ via the free loop space
por: McGowan, Ryan, et al.
Publicado: (2024)

Towards a theory of natural directed paths
por: Gaucher, Philippe
Publicado: (2023)

Graphical configuration spaces, Contractads and Formality
por: Khoroshkin, Anton, et al.
Publicado: (2025)

Formal Manifold Structures on Positive Characteristic Varieties
por: Hu, Runjie, et al.
Publicado: (2025)

On construction schemes: building the uncountable from finite pieces
por: Chapital, Jorge Antonio Cruz
Publicado: (2024)

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

Formality of Sphere Bundles
por: Zhou, Jiawei
Publicado: (2023)

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

A Classification of Six Functor Formalisms via Structured Spaces
por: Nabaala, Salash Tolan
Publicado: (2025)

Continuous colorings on compact spaces
por: de Rancourt, Noé, et al.
Publicado: (2025)

AKSZ construction for shifted Poisson structures
por: Tomić, Nikola
Publicado: (2026)