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-category382.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
oalg-abg100.00Finitely generated abelian groups. (algebra, bsd3, category, library, mathematics)2024-01-061.0.0.0zErichGuz
oalg-base150.01Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. (algebra, bsd3, category, library, mathematics)2024-01-051.1.4.0zErichGuz
product-profunctors900.011product-profunctors (bsd3, category, control, library)2023-04-130.11.1.1tomjaguarpaw