Packages tagged category-theory
4 packages have this tag.
[Merge tag] (trustees only)Related tags: library (4), bsd3 (3), math (3), algebra (1), category (1), control (1), data (1), monads (1), mpl (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| data-category | 116 | 2.25 | 1 | Category theory | (bsd3, category-theory, library, math) | 2023-03-27 | 0.11 | SjoerdVisscher |
| free-category | 38 | 2.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2023-06-04 | 0.0.4.5 | coot |
| free-functors | 147 | 2.0 | 1 | Free functors, adjoint to functors that forget class constraints. | (bsd3, category-theory, data, library, math) | 2020-10-05 | 1.2.1 | SjoerdVisscher |
| squares | 32 | 2.0 | 0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2023-07-15 | 0.2.1 | SjoerdVisscher |