この記事、類義語と標準用語 - (新) 檜山正幸のキマイラ飼育記 メモ編に関係している。
セオリー論については:
いくつかコメント:
ミックスチャは、コンストラクションで記述できる。ミックスチャは概念的実体ではなくて、単にコンストラクションの書き方の様式に過ぎない。
n-型 は、n-圏の対象のことで、(n-1)-圏であるもの。
- 1-型は、1-圏の対象で、0-圏。1-型は、圏の対象で、集合。
- 2-型は、2-圏の対象で、1-圏。2-型は、2-圏の対象で、圏。
- 3-型は、3-圏の対象で、2-圏。
- 0-型は、0-圏の対象で、(-1)-圏。0-型は、集合の要素で、アトム?
- (-1)-型は、(-1)-圏の対象で、(-2)-圏。(-1)-型は、真偽値集合の要素で、真偽値。