arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.20428

The classical homotopy category is cartesian closed

Zhen Lin Low
View original source ↗Read source document ↗Export metadata ↓

Abstract

The category of all topological spaces and homotopy classes of maps is cartesian closed. In fact, the $(\infty, 1)$-category of all topological spaces and continuous maps, localised at homotopy equivalences, is cartesian closed. We model the exponential object using a topological space whose points are continuous maps equipped with putative neighbourhood filters. In general, this topological space will not even be $T_1$-separated, but the evaluation map induces a natural weak homotopy equivalence witnessing the universal property.

Explore related subjects

math.ATmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhen Lin Low. 2026-10-14. The classical homotopy category is cartesian closed. https://arxiv.org/abs/2610.20428

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Persistence and Topological Complexity

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower bound, the zero-divisor-cup-length, for persistent topological spaces, and establish their stability. For Vietoris--Rips filtrations of metric spaces, we show that the erosion distances between these persistent invariants are bounded above by twice the Gromov--Hausdorff distance. We develop metric models of classical topological spaces based on cube boundaries with the $\ell_\infty$ metric and their products and wedges, allowing explicit computations of persistent invariants and their distances. These examples show that, in certain cases, persistent topological complexity and zero-divisor-cup-length distinguish spaces that persistent homology, persistent LS-category, and persistent cup-length fail to distinguish.

math.AT↗
arXiv2026

Nilpotence phenomena over $\mathbb{E}_{\infty}$-rings in positive characteristic

We study the behavior of nilpotent classes in $\mathbb{E}_\infty$-rings over finite fields. In characteristic $p=2$, we show that any nilpotent class can be killed by a nilpotence detecting map of $\mathbb{E}_\infty$-rings. As a consequence, we prove the existence of ``residue fields'', namely that any non-zero $\mathbb{E}_\infty$-ring over $\mathbb{F}_2$ admits a map to a separably closed graded field. Conversely, for any odd prime $p$, we construct non-zero $\mathbb{E}_\infty$-rings over $\mathbb{F}_p$ which admit nilpotent classes that cannot be killed by any non-zero map of $\mathbb{E}_\infty$-rings, a phenomenon that does not occur classically or at any finite height.

math.AT↗
arXiv2026

Radicals and Nilpotents in Equivariant Algebra

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

math.AT↗