2025-05-30
相対モナド/相対随伴系を見つける
雑記/備忘
モナドや随伴系〈adjunction | adjoint system〉が見つかると良いことあります*1。なので、モナドや随伴系を頑張って探すわけです。相対モナド/相対随伴系は、より一般性がある構造です。もちろん、見つかると良いことあります。しかし、相対モナド/相対随…
相対モナド/相対随伴系を見つける
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
2025 / 5
やがてくる大増税時代に豊かに生活するために準備すべきこと