Packages tagged category-theory
3 packages have this tag.
[Merge tag] (trustees only)Related tags: bsd3 (3), library (3), math (3), data (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| data-category | 80 | 2.0 | Category theory | (bsd3, category-theory, library, math) | 2020-05-11 | SjoerdVisscher |
| free-functors | 1224 | 0.0 | Free functors, adjoint to functors that forget class constraints. | (bsd3, category-theory, data, library, math) | 2020-06-29 | SjoerdVisscher |
| squares | 24 | 2.0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2020-05-27 | SjoerdVisscher |