Article contents
Note on total categories
Published online by Cambridge University Press: 17 April 2009
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1980
References
- 7
- Cited by