条件（公理）が意外と多いな。 完備性と余完備性： 有限完備・余完備じゃなくて、任意の小さい図式が極限・余極限を持つことを要求している。この時点でけっこう厳しい条件だ。これは守れないなー。 弱同地／ファイブレーション／コファイブレーションのクラ…