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