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-category1632.25Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
free-category360.0efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2021-03-28coot
free-functors2210.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-05SjoerdVisscher
squares172.0The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-27SjoerdVisscher