:: deftheorem defines Alter CAT_6:def 33 :
for C being non empty category holds Alter C = CatStr(# (Ob C),(Mor C),(SourceMap C),(TargetMap C),(CompMap C) #);