Proposition 7.10.
Assuming that:
E
a
topos
Then
there exists a
monadic
functor
E
o
p
→
E
. In particular,
E
o
p
has finite
colimits
and if
E
has
limits
of shape
J
then it also has
colimits
of shape
J
o
p
.