Spahn
subtopos (Rev #2)
Theorem (Elephant A.4.3.9, p.192)
Let be a reflective subcategory of a topos such that the monad is cartesian (i.e. preserves pullbacks).
Then is a topos and preserves finite limits (i.e. is a geometric morphism).
Revision on December 10, 2012 at 16:22:30 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.