the carrier of C = {} ;
hence Mor C is empty by CAT_6:def 1; :: thesis: verum