“ファイバーの計算”に必要な幾つかの圏同値を示します。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\hyp}{\text{－} } \newcommand{\In}{\text{ in }} \newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\F}[1]{ {{#1}^{-1}} } % fiber \newcommand{…