Ključne besede: teorija kategorij, algebrajske teorije, dualnost, funktorialna semantika, kategorije, kategorna logika, logika, regularna logika, regularne kategorije, sintaktična kategorijaCelotno besedilo (datoteka, 726,24 KB)
Ključne besede: Teorija kategorij, Yonedova lema, kategorijeCelotno besedilo (datoteka, 562,25 KB)
Ključne besede: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebraCelotno besedilo (datoteka, 396,59 KB)
Ključne besede: aproksimacija mnogoterosti, mehke simplicialne množice, zmanjševanje dimenzij, teorija kategorij, topološka analiza podatkovCelotno besedilo (datoteka, 1,59 MB)
Ključne besede: topos, Beckov izrek o monadah, teorija kategorij, kolimitaCelotno besedilo (datoteka, 471,86 KB)