Loading article…
数学、特に圏論において、準位はトポスの一般化である。トポスにはすべてのサブオブジェクトを分類するサブオブジェクト分類子があるが、準位では強いサブオブジェクトのみが分類される。準位はまた有限共完全かつ局所的に直交閉であることも要求される。 [1]固体準位は 0 が 1 の強いサブオブジェクトである準位である。[2]
参考文献
- ^ ワイラー、オズワルド (1991)。トポイとクアドポイに関する講義ノート。ISBN 978-9810201531. 2017年2月3日閲覧。
- ^ Monro, GP (1986年9月). 「Quasitopoi、論理、およびheyting値モデル」. Journal of Pure and Applied Algebra . 42 (2): 141–164. doi : 10.1016/0022-4049(86)90077-0 .