パレス、やっぱり使える

パレス、使える! - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。デカルト作用圏(例えば、デカルト作用圏が面白い - 檜山正幸のキマイラ飼育記 (はてなBlog))の純部分圏は、やはりパレスの例になっている。フレイド圏ももちろんそうだ。パレスの例は: ヤコビ微分圏の線形部分圏、部分圏は「芯」と読んだ。 デカルト…