Packages tagged category

2 packages have this tag.

[Merge tag] (trustees only)

Related tags: control (2), library (2), algebra (1), bsd3 (1), category-theory (1), monads (1), mpl (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
free-category220.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2022-09-070.0.4.4coot
product-profunctors720.010product-profunctors (bsd3, category, control, library)2021-11-200.11.0.3tomjaguarpaw