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
Description
Tags
Last U/L
Maintainer
data-category132.25Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
free-category960.0efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2021-03-28coot
free-functors410.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-05SjoerdVisscher
squares82.0The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-27SjoerdVisscher