過去記事「関手のデカルト射とファイバー付き圏」で次のように述べました。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} `$ 今詳しく説明はしませんが、次の事実は重要です。 圏 $`\cat{C}`$ のアロー圏 $`\mrm{Arr}(\cat{C})`$…