About

This site is devoted to category theory and its applications in mathematics, computer science, logic, programming languages, databases, bioinformatics, and quantum computing.