CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

Predicate Lists

Open sebasguts opened this issue 9 years ago • 0 comments

Issue by sebastianpos Tuesday Nov 11, 2014 at 13:41 GMT Originally opened as https://github.com/sebasguts/CAP/issues/23

Maybe it is convenient to have lists with all predicates (of morphisms and objects) which can accur within a category, e.g.:

General Category, Morphisms: IsMonomorphism, IsEpimorphism, IsIsomorphism GeneralCategory, Objects: IsInitial, IsTerminal

AdditiveCategory, Morphism: IsZero AdditiveCategory, Object: IsZero

etc.

sebasguts avatar Apr 10 '15 09:04 sebasguts