Kolimite v elementarnih toposihSmolar, Jure (Avtor) Bauer, Andrej (Mentor) toposBeckov izrek o monadahteorija kategorijkolimitaPredstavimo osnove teorije kategorij, potrebne za definicijo toposov in obravnavo nekaterih njihovih pomembnih lastnosti. Poseben poudarek si zasluži teorija monad, ki jo uporabimo v dokazu glavnega izreka, da ima vsak topos poljubne končne kolimite. To nam omogoča, da proces izračuna posamezne kolimite dejansko izvedemo v praksi, kar pokažemo na primeru začetnega objekta v kategoriji množic.20232023-10-26 07:15:19Delo diplomskega seminarja/zaključno seminarsko delo/naloga151930UDK: 512VisID: 138410COBISS_ID: 170411779sl