All elementary toposes have finite colimits

category-theory topos-theory

Your definition of what it means for a funtor to create limits is incomplete: creating limits means not only preserving and reflecting, but also that the a diagram in the domain has a limit whenever its image in the codomain does. It is in this sense that monadic functors create limits.

Related

$\mu \otimes \nu(A \times B)=\mu(A)\nu(B)$
How to solve this functional equation $f(xf(y))+y+f(x)=f(x+f(y))+yf(x)$?
Complex functions whose derivative is itself
The proof that if f(x) is continuous at x=c, then 1/f(x) is continuous at x=c
Is every contractible subspace of a contractible space a deformation retract or retract?
Solution to $x'=x\sin(\frac{\pi}{x})$ is unique
Algorithm to determine if a 3D ellipsoid is contained within another?
How to find the centre of the circle that inscibes an isosceles trapezoid?
Using the chain rule to solve a derivative
How to send "ATA Secure Erase" command to SSD?
iptables command from RHEL documentation for cobbler, fails in RHEL 7
How do load balance servers handle all the traffic? [closed]