No CrossRef data available.
Published online by Cambridge University Press: 17 April 2009
It is shown that, for a semi-topological functor T: A → X, the category A is total, that is, the Yoneda embedding of A has a left adjoint, if X is total. In particular, monadic categories over Set (possibly without rank) are total, and full reflective subcategories of total categories are total.