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 | 13 | 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 | 7 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2025-10-03 | 2.0.0.0 | zErichGuz |
| oalg-base | 14 | 0.0 | 1 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2025-10-03 | 3.0.0.0 | zErichGuz |
| product-profunctors | 34 | 0.0 | 12 | product-profunctors | (bsd3, category, control, library) | 2023-04-13 | 0.11.1.1 | tomjaguarpaw |