タイトルはダブルミーニングです。ひとつは「二重圏は面白いよなー」ということ。もうひとつは「興味深い二重圏の事例を幾つか紹介するよ」ということです。過去記事への参照をたくさん含むので、二重圏関連のハブ記事になっています。最後に、まだ触れたこ…

ファイバー積はコスパン（V字形の図式）の極限対象です。コスパンの拡張であるW字形の図式にもファイバー積が定義可能です。V字形からW字形への移行が自明のように扱っていることがありますが、それほど簡単とも言えません。$`\newcommand{\cat}[1]{\mathcal…