FreydCategoriesForCAP

swMATH39125MaRDI QIDQ54825FDOQ54825

Author name not available (Why is that?)

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

Cited In (1)

• A constructive approach to Freyd categories

This page was built for software: FreydCategoriesForCAP