Packages tagged category
4 packages have this tag.
[Merge tag] (trustees only)Related tags: library (4), algebra (3), bsd3 (3), control (2), mathematics (2), category-theory (1), monads (1), mpl (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
free-category | 8 | 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 |
oalg-abg | 0 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2024-01-06 | 1.0.0.0 | zErichGuz |
oalg-base | 1 | 0.0 | 1 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2024-01-05 | 1.1.4.0 | zErichGuz |
product-profunctors | 35 | 0.0 | 11 | product-profunctors | (bsd3, category, control, library) | 2023-04-13 | 0.11.1.1 | tomjaguarpaw |