CoCalc -- PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Project: cocalc-sagemath-dev-slelievre

Path: gap4r8 / pkg / CAP-2017.09.25 / LogicForCategories / PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex

Views: ⁴¹⁸³⁴⁶

1

2