「スキーマとインスタンス -- 一般関手モデル」に書いた“スピヴァックの処方箋”に従うと、考えるスキーマの全体である“圏の圏”Schとアンビエント圏Cを決めると、グロタンディーク構成により圏のファイブレーション ∫(s∈Sch | [s, C]) → Sch ができるのでした…