おとなりアンテナ | おすすめページ
2025-05-15アレレ、プロ関手の方向がぁ雑記／備忘 上下左右プロ関手 $`\mathcal{C}^{\mathrm{op}}\times \mathcal{D} \to \mathbf{Set}`$ の方向を「$`\mathcal{C}`$ から $`\mathcal{D}`$」とするか、はたまた「$`\mathcal{D}`$ から $`\mathcal{C}`$」とするかは好みの問
