メモです。 2021.1.27に考察した「自己準同型を集めるとモノイドになるが、これは豊穣圏でも成立するか？」という問題に対する答えをまとめておきます。 をモノイダル圏、を-豊穣圏とせよ。 -豊穣圏には、 Hom集合にあたるものとして 、 射の合成にあたるも…