for C being Category holds the carrier' of C = union { (Hom (a,b)) where a, b is Object of C : verum }