Idempotent splittings, colimit completion, and weak aspects of the theory of monads

Abstract

We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.