ビッグサイトから巨大サイトへ - 檜山正幸のキマイラ飼育記 (はてなBlog) の公理を冗長部分を省いて述べると： Cの開射の圏Oは： 広い部分圏。 すべての始射を含む。 すべての同型射を含む。 任意の射による引き戻しで閉じている。 一方で、多様体類似物とチ…