Absolute colimits

Abstract

In the context of enriched category theory, we give necessary and sufficient conditions for a module morphism $α\dd M \to \CC(F,Z)$ to exhibit a functor $Z\dd \CA\to \CC$ as an absolute $M$-weighted colimit of a functor ${F\dd \CB\to \CC}$. We also review, with short proofs, the various criteria for the weight $M$ itself to be absolute, in the sense that any $M$-weighted colimit is absolute. Finally, we prove that any absolute $M$-weighted colimit can be viewed as a colimit weighted by an absolute weight $M^{\prime }$.

References [1], [9], [14], [15] are added thanks to comments from Nathanael Arkor, and some words: see last sentence of second last paragraph of the Introduction and just before Theorem 2.1