グロタンディーク構成はやたらに出てきますね。グロタンディーク構成に関わる記法をここで決めておきたいと思います。[追記 date="2019-05-16"]この記事内に出現する「ファイバー付き圏〈fibered category〉」の一部は「反ファイバー付き圏〈opfibered categ…