CAP project -- Categories, Algorithms, and Programming
modules category-theory internalization homological-algebra additive-closure freyd-category adelman-category vector-spaces
-
Updated
Dec 17, 2024 - GAP