for C being Categorial Category
for c being Object of C holds cat c = c