2025-05-15
アレレ、プロ関手の方向がぁ
雑記／備忘 上下左右
プロ関手 $`\mathcal{C}^{\mathrm{op}}\times \mathcal{D} \to \mathbf{Set}`$ の方向を「$`\mathcal{C}`$ から $`\mathcal{D}`$」とするか、はたまた「$`\mathcal{D}`$ から $`\mathcal{C}`$」とするかは好みの問
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
人力検索はてな 日記 (265)
やがてくる大増税時代に豊かに生活するために準備すべきこと