FreydCategoriesForCAP

MaRDI QIDQ54825swMATHFDO

Official website https://github.com/homalg-project/CAP_project/tree/master/FreydCategoriesForCAP

Source code repository https://github.com/homalg-project/CAP_project/tree/master/FreydCategoriesForCAP

Cited in

(5)

• CAP
• GeneralizedMorphismsForCAP
• LinearAlgebraForCAP
• ModulePresentationsForCAP
• A constructive approach to Freyd categories

This page was built for software: FreydCategoriesForCAP