for A being non empty categorial set ex C being strict Categorial full Category st the carrier of C = A