:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Štěpančík, Vojtěch
Format:	Preprint
Published:	2025
Subjects:	Logic Algebraic Topology
Online Access:	https://arxiv.org/abs/2510.08452
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Path spaces of pushouts
by: Wärn, David
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

Hypercubical manifolds in homotopy type theory
by: Mimram, Samuel, et al.
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)

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

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)

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

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

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

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

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

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

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

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

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

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

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

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

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

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

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

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

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

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

Stratifying Reinforcement Learning with Signal Temporal Logic
by: Curry, Justin, et al.
Published: (2026)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)