Codensity monad
![]() | This article needs attention from an expert in Mathematics. The specific problem is: Verification of the sources and the content.(July 2019) |
In mathematics, especially in category theory, the codensity monad is a fundamental construction associating a monad to a wide class of functors.
Definition[]
The codensity monad of a functor is defined to be the right Kan extension of G along itself, provided that this Kan extension exists. Thus, by definition it is in particular a functor
- The monad structure on stems from the universal property of the right Kan extension.
The codensity monad exists whenever D is a small category (has only a set, as opposed to a proper class, of morphisms) and C possesses all (small, i.e., set-indexed) limits. It also exists whenever G has a left adjoint.
By the general formula computing right Kan extensions in terms of ends, the codensity monad is given by the following formula:
where denotes the set of morphisms in C between the indicated objects and the integral denotes the end. The codensity monad therefore amounts to considering maps from c to an object in the image of G, and maps from the set of such morphisms to G(d), compatible for all the possible d. Thus, as is noted by Avery,[1] codensity monads share some kinship with the concept of integration and double dualization.
Examples[]
Codensity monads of right adjoints[]
If the functor G admits a left adjoint F, the codensity monad is given by the composite , together with the standard unit and multiplication maps.
Concrete examples for functors not admitting a left adjoint[]
In several interesting cases, the functor G is an inclusion of a full subcategory not admitting a left adjoint. For example, the codensity monad of the inclusion of FinSet into Set is the associating to any set M the set of ultrafilters on M. This was proven by Kennison and Gildenhuys,[2] though without using the term "codensity". In this formulation, the statement is reviewed by Leinster.[3]
A related example is discussed by Leinster:[4] the codensity monad of the inclusion of finite-dimensional vector spaces (over a fixed field k) into all vector spaces is the double dualization monad given by sending a vector space V to its double dual
Thus, in this example, the end formula mentioned above simplifies to considering (in the notation above) only one object d, namely a one-dimensional vector space, as opposed to considering all objects in D. Adámek[5] show that, in a number of situations, the codensity monad of the inclusion
of finitely presented objects (also known as compact objects) is a double dualization monad with respect to a sufficiently nice cogenerating object. This recovers both the inclusion of finite sets in sets (where a cogenerator is the set of two elements), and also the inclusion of finite-dimensional vector spaces in vector spaces (where the cogenerator is the ground field).
Sipoş showed that the algebras over the codensity monad of the inclusion of finite sets (regarded as discrete topological spaces) into topological spaces are equivalent to Stone spaces.[6] Avery shows that the arises as the codensity monad of natural forgetful functors between certain categories of convex vector spaces to measurable spaces.[1]
Relation to Isbell duality[]
Di Liberti[7] shows that the codensity monad is closely related to : for a given small category C, Isbell duality refers to the adjunction
between the category of presheaves on C (i.e., functors from the opposite category of C to sets) and the opposite category of copresheaves on C. The monad
induced by this adjunction is shown to be the codensity monad of the Yoneda embedding
Conversely, the codensity monad of a full small dense subcategory K in a cocomplete category C is shown to be induced by Isbell duality.[8]
See also[]
- Monadic functor
References[]
- Di Liberti, Ivan (2019), Codensity: Isbell duality, pro-objects, compactness and accessibility, arXiv:1910.01014
- Leinster, Tom (2013). "Codensity and the ultrafilter monad". Theory and Applications of Categories. 28: 332–370. arXiv:1209.3606. Bibcode:2012arXiv1209.3606L.
Footnotes
- ^ a b Avery, Tom (2016). "Codensity and the Giry monad". Journal of Pure and Applied Algebra. 220 (3): 1229–1251. arXiv:1410.4432. doi:10.1016/j.jpaa.2015.08.017.
- ^ Kennison, J.F.; Gildenhuys, Dion (1971). "Equational completion, model induced triples and pro-objects". Journal of Pure and Applied Algebra. 1 (4): 317–346. doi:10.1016/0022-4049(71)90001-6.
- ^ Leinster 2013, §3.
- ^ Leinster 2013, §7.
- ^ Adámek, Jirí; Sousa, Lurdes (2019). D-Ultrafilters and their Monads. arXiv:1909.04950.
- ^ Sipoş, Andrei (2018). "Codensity and stone spaces". Mathematica Slovaca. 68: 57–70. arXiv:1409.1370. doi:10.1515/ms-2017-0080.
- ^ Di Liberti 2019.
- ^ Di Liberti 2019, §2.
- Category theory