The uniform homotopy category

DOI10.1016/J.JPAA.2023.107425MaRDI QIDQ6174700zbMATH OpenOpenAlexFDO

Authors Sanjeevi Krishnan, Crichton Ogle

Publication date 17 August 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.08576

zbMATH Keywords

bounded cohomologycubical setshomotopyLipschitzuniform spaces

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. A categorical equivalence between classical homotopy categories of cubical sets and spaces lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associated uniform homotopy category of uniform spaces. Bounded cubical cohomology generalizes to a representable theory on the Lipschitz homotopy category. Bounded singular cohomology on path-connected spaces generalizes to a representable theory on the uniform homotopy category. Along the way, this paper develops a cubical analogue of Kan's Ex^infinity functor and proves a cubical approximation theorem for uniform maps.

Review text

The paper provides a uniform-theoretic refinement of classical homotopy theory. The authors explore both cubical sets (with connections) and uniform spaces, which admit classes of weak equivalences. These are special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. The authors establish a categorical equivalence between classical homotopy categories of cubical sets and spaces. This lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associated uniform homotopy category of uniform spaces. The paper also delves into bounded cubical cohomology, which generalizes to a representable theory on the Lipschitz homotopy category. Bounded singular cohomology on path-connected spaces generalizes to a representable theory on the uniform homotopy category. In the process, the authors develop a cubical analogue of Kan's \(\mathrm{Ex}^\infty\) functor and prove a cubical approximation theorem for uniform maps.

Recommendations

• scientific article; zbMATH DE number 838749
• A cubical approach to straightening
• scientific article; zbMATH DE number 735430
• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• Nonstandard homology theory for uniform spaces

Cites work

• L^p-cohomology of symmetric spaces
• A co-reflection of cubical sets into simplicial sets with applications to model structures
• A convenient category of topological spaces
• A natural construction for the real numbers
• A spectral sequence for polynomially bounded cohomology
• Abstract homotopy theory and generalized sheaf cohomology
• Acyclic Models
• Bounded Cohomology Characterizes Hyperbolic Groups
• Cartesian-closed correflective subcategories of uniform spaces generated by classes of metric spaces
• Coarse cohomology and \(l_p\)-cohomology
• Configuration-spaces and iterated loop-spaces
• Convenient categories for topology
• Cubical approximation for directed topology. I
• Cubical groups which are Kan
• Die Homöomorphie der geometrischen Realisierungen einer semisimplizialen Menge und ihrer Normalunterteilung
• Directed homotopy in non-positively curved spaces
• Homological algebra in characteristic one
• Homotopical algebra
• scientific article; zbMATH DE number 2125640 (Why is no real title available?)
• scientific article; zbMATH DE number 4066000 (Why is no real title available?)
• scientific article; zbMATH DE number 4098309 (Why is no real title available?)
• scientific article; zbMATH DE number 3651410 (Why is no real title available?)
• scientific article; zbMATH DE number 1740285 (Why is no real title available?)
• scientific article; zbMATH DE number 1924514 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 3201246 (Why is no real title available?)
• Many homotopy categories are homotopy categories
• Metric spaces, generalized logic, and closed categories
• Mixing model structures
• Nonabelian algebraic topology. Filtered spaces, crossed complexes, cubical homotopy groupoids. With contributions by Christopher D. Wensley and Sergei V. Soloviev
• On c.s.s. Complexes
• On the construction of functorial factorizations for model categories
• On the K-theory and cyclic homology of a square-zero ideal I
• Parametrized homotopy theory
• Presheaves as models for homotopy types
• Pursuing stacks. Volume I. Edited by Georges Maltsiniotis
• Simplicial homotopy theory
• The cubical category with connections is a strict test category
• The Homology of Uniform Spaces
• Uniform sheaves and differential equations
• Volume and bounded cohomology

Cited in

(1)

• Cubical approximation for directed topology. II

This page was built for publication: The uniform homotopy category

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174700)