Categories in which all strong generators are dense (Q1087978): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categories in which all strong generators are dense |
scientific article |
Statements
Categories in which all strong generators are dense (English)
0 references
1986
0 references
This paper addresses the question of which total categories have all small strong generators dense. The problem is studied in the context of enriched categories. Let \({\mathcal V}\) be a symmetric, monoidal, closed category which is small complete and cocomplete and has intersections of all families of monics. A \({\mathcal V}\)-category \({\mathfrak A}\) is total iff for every \({\mathcal V}\)-functor \({\mathfrak A}^{op}\to^{t}{\mathcal V}\), the identity \(1_{{\mathfrak A}}: {\mathfrak A}\to {\mathfrak A}\) admits a colimit z(t) indexed by t. [For more on total categories, see \textit{G. M. Kelly}, Cah. Topologie Géom. Différ. Catégoriques 27, 109-132 (1986; Zbl 0593.18007).] Let y(a) denote the representable \({\mathcal V}\)-functor \({\mathfrak A}(\_,a): {\mathfrak A}^{op}\to {\mathcal V}\). If \({\mathfrak A}\) is total and z takes strong monics \(r\rightarrowtail y(a)\) to monics in \({\mathfrak A}\), then small strong generators are dense, that is if \(m: {\mathfrak C}\to {\mathfrak A}\) is a fully faithful \({\mathcal V}\)-functor with \({\mathfrak C}\) small and if m is strongly generating, then it is dense. This result is applied to several examples taken from topos theory and the theory of abelian categories.
0 references
dense functor
0 references
total categories
0 references
enriched categories
0 references
small strong generators
0 references
topos theory
0 references
abelian categories
0 references