CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

Remove IsCongruentForMorphisms from the record entry EveryCategory

Open mohamed-barakat opened this issue 1 year ago • 2 comments

I suggest removing IsCongruentForMorphisms from CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.EveryCategory and adding it to a new record entry of CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD. I can think of two possible names for this algorithmic property:

  • IsCategoryWithDecidableEqualityOfMorphisms
  • IsComputableCategory

mohamed-barakat avatar Jul 10 '23 21:07 mohamed-barakat