Keywords: teorija kategorij, algebrajske teorije, dualnost, funktorialna semantika, kategorije, kategorna logika, logika, regularna logika, regularne kategorije, sintaktična kategorijaFull text (file, 726,24 KB)
Keywords: Teorija kategorij, Yonedova lema, kategorijeFull text (file, 562,25 KB)
Keywords: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebraFull text (file, 396,59 KB)
Keywords: aproksimacija mnogoterosti, mehke simplicialne množice, zmanjševanje dimenzij, teorija kategorij, topološka analiza podatkovFull text (file, 1,59 MB)
Keywords: topos, Beckov izrek o monadah, teorija kategorij, kolimitaFull text (file, 471,86 KB)