Categories in which all strong generators are dense (Q1087978): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q56687255 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(86)90065-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2055146012 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124990 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5616191 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3491793 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional sheaf theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cosmoi of Internal Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notions of topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Family Approach to Total Cocompleteness and Toposes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Yoneda structures on 2-categories / rank | |||
Normal rank |
Latest revision as of 17:35, 17 June 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