:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Schachner, Mark
Format:	Preprint
Published:	2026
Subjects:	Logic Algebraic Topology
Online Access:	https://arxiv.org/abs/2602.02976
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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)

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

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

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

Categorification of sheaf theory
by: Stefanich, Germán
Published: (2025)

Cobordism, spin structures, and profinite completions
by: Hughes, Sam, et al.
Published: (2026)

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

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

Bredon sheaf cohomology
by: Arnone, Guido, et al.
Published: (2026)

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
by: Chamoun, Yorgo, et al.
Published: (2025)

Equivariant real cycle class map and Witt-sheaf cohomology of classifying spaces
by: Mantovani, Lorenzo, et al.
Published: (2026)

On the profinite distinguishability of hyperbolic Dehn fillings of finite-volume 3-manifolds
by: Rapoport, Paul
Published: (2021)

Proper kernels in microlocal sheaf theory
by: Hu, Yuxuan
Published: (2025)

Brane structures in microlocal sheaf theory
by: Jin, Xin, et al.
Published: (2017)

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

Fundamental groups and descriptive set theory
by: Wu, Fanxin
Published: (2025)

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

The stable cohomology of the moduli space of curves with level structures
by: Putman, Andrew
Published: (2022)

Essential dimension via prismatic cohomology
by: Farb, Benson, et al.
Published: (2021)

Weight two compactly supported cohomology of moduli spaces of curves
by: Payne, Sam, et al.
Published: (2021)

Atiyah-Bott localization in equivariant Witt cohomology
by: Levine, Marc
Published: (2022)