for C being Category holds Obj (id C) = id the carrier of C