the "Self" hom functor is monoidal for a cartesian category, etc.