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-category1012.251Category theory (bsd3, category-theory, library, math)2020-05-110.10SjoerdVisscher
free-category250.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2022-09-070.0.4.4coot
free-functors870.01Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-10-051.2.1SjoerdVisscher
squares112.00The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-270.1.1SjoerdVisscher