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 | 64 | 2.25 | 1 | Category theory | (bsd3, category-theory, library, math) | 2023-03-27 | 0.11 | SjoerdVisscher |
| free-category | 19 | 2.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2022-09-07 | 0.0.4.4 | coot |
| free-functors | 96 | 0.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 | 10 | 2.0 | 0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2020-05-27 | 0.1.1 | SjoerdVisscher |