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 | 50 | 2.25 | 1 | Category theory | (bsd3, category-theory, library, math) | 2023-03-27 | 0.11 | SjoerdVisscher |
free-category | 34 | 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 | 95 | 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 | 9 | 2.0 | 0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2023-07-15 | 0.2.1 | SjoerdVisscher |