topos-colimit.pdf