パレス、やっぱり使える

パレス、使える！ - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。

デカルト作用圏（例えば、デカルト作用圏が面白い - 檜山正幸のキマイラ飼育記 (はてなBlog)）の純部分圏は、やはりパレスの例になっている。フレイド圏ももちろんそうだ。

パレスの例は：

1. ヤコビ微分圏の線形部分圏、部分圏は「芯」と読んだ。
2. デカルト作用圏の純部分圏
3. フレイド圏のベース圏、拡張圏のなかで部分モノイド圏
4. Set⊆Partial⊆ND（NDの代わりにRelでも同じ）は3階建てのパレス。