General categorical framework for topologically free normed modules
(anti)discrete bornology(strictly) projective objectadmissible epimorphismBanach modulebornological spacefaithful functorfree objectnormed modulenormed spacerigged categorytensor product
Projective and free modules and ideals in commutative rings (13C10) General theory of categories and functors (18A99) Barrelled spaces, bornological spaces (46A08) Bornologies and related structures; Mackey convergence, etc. (46A17) Normed modules and Banach modules, topological modules (if not placed in 13-XX or 16-XX) (46H25) Projective and injective objects in functional analysis (46M10)
Following \textit{A. Y. Helemskiǐ} [Sb. Math. 204, No. 7, 1056--1083 (2013); translation from Mat. Sb. 204, No. 7, 127--158 (2013; Zbl 1288.46032)], a \textit{rigging} of a category \textbf{K} is a faithful functor \(\square\) from \textbf{K} to another category \textbf{L}. A \textit{rigged category} is a category \textbf{K} endowed with a rigging \(\square:\mathbf{K}\rightarrow\text\textbf{L}\). A \textbf{K}-morphism \(\varphi\) is an \textit{admissible epimorphism} provided that \(\square\varphi\) is an \textbf{L}-retraction. A \textbf{K}-object \(P\) is \textit{projective} provided that for every \textbf{K}-morphisms \(\varphi:P\rightarrow X\leftarrow Y:\sigma\) with an admissible \(\sigma\), there exists a \textbf{K}-morphism \(\psi:P\rightarrow Y\) such that \(\sigma\circ\psi=\varphi\). In Section~3, the author describes projective objects in the category of normed modules, which is equipped with a rigging to the categories of bornological, normed, and linear spaces [loc. cit.]. Section 4 starts with the already known result that if \((\mathbf{K},\square)\) is a rigged category such that \(\square\) has a left adjoint, then for every \textbf{K}-object \(X\), there exists a \(\square\)-free \textbf{K}-object \(F\) and an admissible epimorphism \(\tau:F\rightarrow X\). The author generalizes this result, to include the category of normed modules with a rigging to the category of bornological spaces (Proposition 10 on page 49 and Example 7 on pages 49--50).
- Metric freeness and projectivity for classical and quantum normed modules
- scientific article; zbMATH DE number 3950781
- scientific article; zbMATH DE number 2154589
- Scaled-free objects
- scientific article; zbMATH DE number 3849454
- scientific article; zbMATH DE number 3927164
- Topological freedom for classical and quantum normed modules
- A natural fibration for rings
- Almost coreflective and projective classes
- Projectivity for operator modules: approach based freedom
This page was built for publication: General categorical framework for topologically free normed modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018018)
