本編にて： モナド結合律とモナド単位律が、通常の（例えば整数の掛け算の）結合律・単位律とほんとに同類であることを納得するには、相当に抽象的な定式化が必要です。 どのくらい抽象度を上げればいいのか？ モノイド圏（monoidal category）のモノイド対…