closed categoryってのがあるのね
closed monoidalからモノイド積を取っ払って指数対象だけでその性質を書いたみたいな