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