- cartesian closed category
- freyd category
- kleisli category
- monoidal category
- premonoidal category
- traced monoidal category
- braided monoidal category
- balanced monoidal category
- symmetric monoidal category
- ribbon category = tortile monoidal category
- compact closed category
Sunday, September 11, 2011
The kinds of Categories usable for computer science
I want to systematize the categories but will think later.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment