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