CAP project -- Categories, Algorithms, and Programming
modules category-theory internalization homological-algebra additive-closure freyd-category adelman-category vector-spaces
-
Updated
Feb 12, 2026 - GAP