基礎圏〈台圏〉を指定しないすべてのモナド達の圏をMnd、すべての随伴系〈adjunction | adjoint system〉達の圏をAdjと書くことは多いですが、MndやAdjが何を意味するかは人によりバラバラです。バラバラなのはしょうがないのですが、様々な定義を記述したり…