圏 $`\mathcal{C}`$ がファイバー積を持つなら、$`\mathcal{C}`$ のスパンの圏を構成できると言われています。これって、ほんとうでしょうか？$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\id}{\mathrm{id} } %\newcommand{\op}{\mathrm{op} } \newco…