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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
data-category1162.251Category theory (bsd3, category-theory, library, math)2023-03-270.11SjoerdVisscher
free-category382.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-040.0.4.5coot
free-functors1472.01Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-051.2.1SjoerdVisscher
squares322.00The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2023-07-150.2.1SjoerdVisscher