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)

Show entries

Filter:

Name	DLs	Rating	Rev Deps	Description	Tags	Last U/L	Last Version	Maintainers
data-category	9	2.5	1	Category theory	(bsd3, category-theory, library, math)	2023-03-27	0.11	SjoerdVisscher
free-category	6	2.0	1	efficient data types for free categories and arrows	(algebra, category, category-theory, control, library, monads, mpl)	2023-06-04	0.0.4.5	coot
free-functors	16	2.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	3	2.0	0	The double category of Hask functors and profunctors	(bsd3, category-theory, library, math)	2023-07-15	0.2.1	SjoerdVisscher

Showing 1 to 4 of 4 entries