Category Theory
Objects, morphisms, functors, natural transformations, limits, adjunctions, monads.
Bonvenon
Ĉi tiu retejo kolektas lernomaterialojn, notojn, ekzemplojn kaj PDF-dokumentojn pri kategoria teorio kaj ĝiaj aplikoj.
Applications
Computer science, logic, programming languages, databases, bioinformatics, quantum computing.
PDF Library
Lecture notes, short introductions, exercises, articles, and seminar materials.