「スケマティック系のために: 雑多な予備知識 // Diag構成」でDiag構成について述べました。Diag構成を特殊化すると既存の色々な構成法になるので、Diag構成は、様々な構成法を包括的に扱うフレームワークとなります。また、「一般化されたファミリーの圏」で、 集合圏とは限らない $`\newcommand{\cat}[1]{\mathcal{#1}}\cat{C},\cat{D}`$ に対して $`{\bf Fam}(\cat{C},\cat{D})`$ が使えると、だいぶ便利になります。とはいえ、$`\cat{C}`$ は集合圏の部分圏に限っているので、この条件も外したいところです。そ…