Category Theory and Applications

A multilingual educational site about category theory, mathematics, computer science, and applications.

English Lietuvių Esperanto

Welcome

This site collects teaching materials, notes, examples, and PDF documents related to category theory and its applications.

Category Theory

Objects, morphisms, functors, natural transformations, limits, adjunctions, monads.

Applications

Computer science, logic, programming languages, databases, bioinformatics, quantum computing.

PDF Library

Lecture notes, short introductions, exercises, articles, and seminar materials.