I think the fact that an elementary topos has finite colimits is magical. The definition of topos only asks for finite limits, but abracadabra! The magician pulls finite colimits from the hat.
(What's that I hear you say? You don't think topos theory is a part of modern logic? Really? Truly? Well, you know where the "down" button is.)
