In topology, a not necessarily continuous function between Hausdorff spaces is dominant, or dense, in the sense that the image of is a dense subspace of , precisely if every continuous function to any Hausdorff space is uniquely determined by the composition .
In category theory, the concept of a dense functor is a generalization of this concept to functors.
An important special case that was also historically the source of the concept, is the case of a dense subcategory inclusion: a subcategory of category is dense if every object of is a colimit of a diagram of objects in , in a canonical way.
(dense functor)
A functor is dense if it satisfies the following equivalent conditions:
every object of is the colimit
over the comma category :
every object of is the -weighted colimit of .
(This version generalizes readily to the enriched category theory).
the corresponding restricted Yoneda embedding is fully faithful.
the left Kan extension exists, is pointwise, and is isomorphic to the identity.
is the closure of under colimits of a family of diagrams, by which is meant a class of pairs consisting of a weight and a diagram for that weight, and these colimits are -absolute (i.e. preserved by the nerve of ). See (Theorem 5.19 of Kelly), for instance.
For every category , precomposition by induces a full and faithful functor
where is the category of functors preserving weighted colimits whose weights are presheaves .
(dense functors not closed under composition)
Beware that the class of dense functors (Def. ) is not closed under composition of functors.
The inclusion of the discrete category on the singleton set into all of Sets is a dense subcategory inclusion.
More generally, if is an essentially small category, then the Yoneda embedding is dense.
Let be a category of algebras and such that has a presentation with operations of at most arity . Let be the free -algebra on generators. Then the full subcategory with object is dense in .
More generally, if is a -accessible category, then the full subcategory inclusion of -presentable objects is dense. This means in particular that if is a small category, then the canonical inclusion into its Ind category is dense, and that categories of sheaves have small dense subcategories.
Consider the simplex category , regarded in the usual way as a subcategory of Cat. Let be the full subcategory with object set – i.e. comprising the 0-dimensional simplex and the 1-dimensional simplex.
Then
is a dense subcategory inclusion;
is a dense subcategory inclusion,
The category of topological spaces does not have any small full subcategory which is dense. Indeed, is not generated under colimits by any small subcategory.
The category has a small full subcategory which is dense if and only if there is not a proper class of measurable cardinals, a result due to Isbell.
Let be a Bénabou cosmos. Then the inclusion of the 2-category of small -categories into the 2-category of large -categories is dense as a 2-functor (Lemma 2.16 of Przybyłek (2014)).
John Isbell introduced dense subcategories in a seminal paper (Isbell 1960) under the name left adequate. The dual notion of right adequate was also introduced and subcategories satisfying both were called adequate. It was also shown that while the relation of being left (or right) adequate is not transitive, being adequate is transitive. He also brought out interesting connections with set theory and measurable cardinals.
Later in the mid 60s, Friedrich Ulmer considered the concept for more general functors , not only inclusions , and introduced the name dense for them.
Independently, Pierre Gabriel worked on this concept and their work coalesced to what was to become the concept of a locally presentable category of their 1971 monograph. It is also good to keep in mind the ‘Abelian’ subcontext in the background, in particular the developments in module theory e.g. Lazard’s (1964) characterization of flat modules as filtered colimits of finitely generated free modules.
More recently, Jacob Lurie has referred to the analogue notion for (∞,1)-categories as strongly generating in a version (arXiv v4) of his HTT, but that term normally means something different.
Tom Avery, Tom Leinster, Isbell conjugacy and the reflexive completion, arXiv:2102.08290 (2021). (abstract)
Peter Gabriel, Friedrich Ulmer, Lokal präsentierbare Kategorien, LNM 221 Springer Heidelberg 1971. (§ 3, pp.38-44)
John Isbell, Adequate subcategories, Illinois J. Math. 4 (1960) pp.541-552. MR0175954. (euclid)
John Isbell, Subobjects, adequacy, completeness and categories of algebras, Rozprawy Mat. 36 (1964) pp.1-32. (toc, pdf)
Max Kelly, Basic Concepts of Enriched Category Theory, Cambridge UP 1982. (Reprinted as TAC reprint no.10 (2005); chapter 5, pp.85-112)
William Lawvere, John Isbell’s Adequate Subcategories, TopCom 11 no.1 2006. (link)
Saunders Mac Lane, Categories for the Working Mathematician, Springer Heidelberg 1998². (section X.6, pp.245ff, 250)
Horst Schubert, Kategorien II, Springer Heidelberg 1970. (section 17.2, pp.29ff)
Friedrich Ulmer, Properties of dense and relative adjoint functors, J. of Algebra 8 (1968) pp.77-95.
Giacomo Tendas, Dense functors and density presentations, unpublished notes (pdf)
Michał Przybyłek?, Analysis and construction of logical systems: a category-theoretic approach (2014), PhD thesis (pdf).
Last revised on September 12, 2024 at 10:10:50. See the history of this page for a list of all contributions to it.