Categorica: a pure and applied category theory framework for the Wolfram Language
Primary LanguageMathematica