そうそう。要は自己関手と自然変換からなる圏にモノイド構造を
入れ込んだものと思えばよい。