▽檜山正幸のｷﾏｲﾗ飼育記
●05/16 19:11
2025-05-15ｱﾚﾚ､ﾌﾟﾛ関手の方向がぁ雑記／備忘 上下左右ﾌﾟﾛ関手 $`\mathcal{C}^{\mathrm{op}}\times \mathcal{D} \to \mathbf{Set}`$ の方向を｢$`\mathcal{C}`$ から $`\mathcal{D}`$｣とするか､はたまた｢$`\mathcal{D}`$ から $`\mathcal{C}`$｣とするかは好みの問題でその選択は恣意的です｡僕は､｢$`\math…ｱﾚﾚ､ﾌﾟﾛ関手の方向がぁ