Packages tagged category-theory

3 packages have this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (3), library (3), math (3), data (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
data-category802.0Category theory (bsd3, category-theory, library, math)2020-05-11SjoerdVisscher
free-functors12240.0Free functors, adjoint to functors that forget class constraints. (bsd3, category-theory, data, library, math)2020-06-29SjoerdVisscher
squares242.0The double category of Hask functors and profunctors (bsd3, category-theory, library, math)2020-05-27SjoerdVisscher