対象が一つの圏をモノイドと呼ぶ

これは集合論のモノイドを圏に一般化したもの

同じだから同じ名前がつけられている

しかし群などを圏として見ても対象は一つだな　まあ群であればモノイドではあるのだが