\mathbf{Mon}と表記する

モノイドを対象とし、モノイド準同型を射とする圏

モノイドそれ自体も圏と見れる(モノイダル圏)ので、「モノイドの圏」は「圏の圏」

これ最初モノイドかモノイド圏かどっちの話をしているのかわからなくなったので注意