coconstant morphisms