Idempotents in bicategories
- 1 June 1989
- journal article
- research article
- Published by Cambridge University Press (CUP) in Bulletin of the Australian Mathematical Society
- Vol. 39 (3) , 421-434
- https://doi.org/10.1017/s0004972700003336
Abstract
It is shown that the category of fixed points of a left exact idempotent functor on a topos is again a topos. As well as a direct proof, a bicategorical proof is given which shows that the result only depends on certain bicategorical exactness properties.Keywords
This publication has 4 references indexed in Scilit:
- Cofibrations II: Left exact right actions and composition of GamutsJournal of Pure and Applied Algebra, 1986
- Cofibrations in the bicategory of topoiJournal of Pure and Applied Algebra, 1984
- The formal theory of monadsJournal of Pure and Applied Algebra, 1972
- Categories for the Working MathematicianPublished by Springer Nature ,1971