おとなりアンテナ | おすすめページ
2025-05-30相対モナド/相対随伴系を見つける雑記/備忘モナドや随伴系〈adjunction | adjoint system〉が見つかると良いことあります*1。なので、モナドや随伴系を頑張って探すわけです。相対モナド/相対随伴系は、より一般性がある構造です。もちろん、見つかると良いことあります。しかし、相対モナド/相対随…相対モナド/相対随伴系を見つける
達人プログラマーを目指して読者になる