switch from talking about InternalHom to just having Closed categories