Category Theory

Category theory organizes mathematical structures through morphisms, functors, universal properties, limits, and adjunctions.

• Monoidal categories
• Topos theory

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.