| name | category-theory |
| description | Category theory, functors, natural transformations, and universal properties |
| license | MIT |
| compatibility | opencode |
| metadata | {"audience":"students","category":"mathematics"} |
What I do
- Work with categories, objects, and morphisms
- Understand functors and natural transformations
- Apply universal properties and limits
- Connect different mathematical structures
When to use me
When working on abstract algebra, topology, or theoretical computer science.
Key Concepts
- Categories and morphisms
- Functors
- Natural transformations
- Universal properties
- Limits and colimits
- Adjoint functors
- Monoidal categories