# 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-category | 43 | 2.25 | 1 | Category theory | (bsd3, category-theory, library, math) | 2023-03-27 | 0.10 | SjoerdVisscher |

free-category | 10 | 0.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2022-09-07 | 0.0.4.4 | coot |

free-functors | 60 | 0.0 | 1 | Free functors, adjoint to functors that forget class constraints. | (bsd3, category-theory, data, library, math) | 2020-10-05 | 1.2.1 | SjoerdVisscher |

squares | 10 | 2.0 | 0 | The double category of Hask functors and profunctors | (bsd3, category-theory, library, math) | 2020-05-27 | 0.1.1 | SjoerdVisscher |