日記風にダラッと書きます。ヴォエヴォドスキー〈Vladimir Voevodsky〉のC-システム（「C-システム、分裂ディスプレイクラス、カートメルツリー構造」参照）は、名前を変更しただけでカートメル〈John Cartmell〉のコンテキスト圏〈contextual category〉と…