An absolutely dense functor is a functor which is equivalently characterised by the following conditions:
is dense and is an absolute Kan extension.
is fully faithful.
The counit of the adjunction is invertible.
is corepresentably fully faithful (also called a lax epimorphism?) in Cat.
For every functor , there is a canonical isomorphism (MathOverflow answer)
(This is a notion of initiality for ends.)
More generally, an absolutely dense morphism in a proarrow equipment is a 1-cell in for which the counit .
Every simultaneously reflective and coreflective subcategory of a presheaf category is itself a presheaf category and is induced by precomposition along an absolutely dense functor: this is the main result of the paper of El Bashir–Velebil below.
(Absolutely dense functors are called Cauchy dense in the following paper of Brian Day.)
Brian Day. Density presentations of functors. Bulletin of the Australian Mathematical Society 16.3 (1977): 427-448.
Jiri Adamek, Robert El Bashir?, Manuela Sobral, Jiri Velebil?. On functors which are lax epimorphisms. TAC. (2001)
Robert El Bashir and Jiri Velebil?. Simultaneously reflective and coreflective subcategories of presheaves. Theory and Applications of Categories 10.16 (2002): 410-423.
Fernando Lucatelli Nunes and Sousa Lurdes?. On lax epimorphisms and the associated factorization. Journal of Pure and Applied Algebra 226.12 (2022)
Last revised on March 10, 2023 at 06:48:06. See the history of this page for a list of all contributions to it.