Category Theory
Objects, morphisms, functors, natural transformations, limits, adjunctions, monads.
Sveiki
Šioje svetainėje kaupiama mokomoji medžiaga, konspektai, pavyzdžiai ir PDF dokumentai apie kategorijų teoriją bei jos taikymus.
Applications
Computer science, logic, programming languages, databases, bioinformatics, quantum computing.
PDF Library
Lecture notes, short introductions, exercises, articles, and seminar materials.