圏論の基本事項解説、割と久しぶり。ファイバー積はオーバー圏の直積であり、余ファイバー和〈融合和〉はアンダー圏の直和です。$`\newcommand{\cat}[1]{\mathcal{C} } \newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\In}{\text{ in } } \newcommand{\fpr…