We present the basics of category theory required for the definition of topoi and some of their important properties. We place special emphasis on the theory of monads, which we use in the proof of the main theorem, stating that each topos has all finite colimits. This approach allows us to actually carry out the process of computing a colimit, which we show on the example of the initial object in the category of sets.
|
