A tensor-hom adjunction in a topos related to vector topologies and bornologies

DOI10.1016/S0022-4049(99)00188-7MaRDI QIDQ1588068zbMATH OpenWikidataFDO

Authors Luis Español, Laureano Lambán

Publication date 12 August 2001

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

Full work available at URL https://investigacion.unirioja.es/documentos/608a79b82c44a168766c8bd5

zbMATH Keywords

bornological toposcompactificationcontinuous topostopological real vector spacesuniverse of presheaves

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Bornologies and related structures; Mackey convergence, etc. (46A17) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Review text

Let \(\mathcal{M}\) be the topos of \(M\)-sets, where \(M\) is the monoid of continuous maps \(f:N\rightarrow N\) such that \(f(\infty)=\infty \), \(N=\mathbb{N}\) \(\cup \left\{ \infty \right\} \) being the one point compactification of the discrete space of natural numbers. This topos is used as a universe of presheaves, and the sheaf subtoposes \(\mathcal{C}\) (called continuous topos, and adapted from Johnstone' s topological topos) and \(\mathcal{B}\) (called bounded topos, and adapted from Lawvere' s bornological topos) are introduced and studied. A tensor-hom adjunction between certain categories of modules (over the ring of continuous reals, respectivelly bounded reals in \(\mathcal{M}\)) in \(\mathcal{C}\), respectively in \(\mathcal{B}\) is constructed. Finally, using the above construction, an adjunction between adequate categories of topological and bornological real vector spaces is obtained.

Recommendations

• Tensor products of modules in a topos
• \(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-\textbf{Sets}
• Tensor topology
• Toposes of Topological Monoid Actions
• scientific article; zbMATH DE number 3883038

Cites work

• Convergence du type L
• scientific article; zbMATH DE number 4057746 (Why is no real title available?)
• scientific article; zbMATH DE number 193292 (Why is no real title available?)
• scientific article; zbMATH DE number 3560151 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 4123961 (Why is no real title available?)
• On a Topological Topos
• On Sequential Convergence
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(5)

• Tensor products of modules in a topos
• On bornologies, locales and toposes of \(M\)-sets
• scientific article; zbMATH DE number 3883038 (Why is no real title available?)
• scientific article; zbMATH DE number 7229466 (Why is no real title available?)
• Linear structures on locales

This page was built for publication: A tensor-hom adjunction in a topos related to vector topologies and bornologies

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