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 |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
data-category | 13 | 2.25 | Category theory | (bsd3, category-theory, library, math) | 2020-05-11 | SjoerdVisscher |
free-category | 96 | 0.0 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2021-03-28 | coot |
free-functors | 41 | 0.0 | Free functors, adjoint to functors that forget class constraints. | (bsd3, category-theory, data, library, math) | 2020-10-05 | SjoerdVisscher |
squares | 8 | 2.0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2020-05-27 | SjoerdVisscher |