Loading article…
カテゴリー集合論は、数学的なカテゴリー理論の文脈から発展した、またはその文脈で扱われる集合論のいくつかのバージョンのいずれかです。
参照
参考文献
- Barr, M. ; Wells, C. (1996).コンピューティング科学のためのカテゴリー理論(第 2 版). Prentice Hall. ISBN 978-0-13-323809-9。
- ブルバキ、N. ( 1994)。数学史の要素。メルドラム、ジョン訳。シュプリンガー。doi :10.1007/ 978-3-642-61693-8。ISBN 978-3-642-61693-8。
- ケリー、JL (2017) [1955]. 一般位相幾何学. ドーバー. ISBN 978-0-486-81544-2。
- Lambek, J. ; Scott, PJ (1988)。高階カテゴリカル論理入門。ケンブリッジ高等数学研究。第 7 巻。ケンブリッジ大学出版局。ISBN 978-0-521-35653-4。
- Lawvere, FW ; Rosebrugh, R. (2003). Sets for Mathematics. Cambridge University Press. ISBN 978-0-521-01060-3。
- Lawvere, FW; Schanuel, SH (2009)。概念数学: カテゴリーへの最初の入門 (第 2 版)。ケンブリッジ大学出版局。ISBN 978-1-139-64396-2。
- 伊藤潔編(2000) [1993]。数学百科事典 (第 2 版)。 MITプレス。ISBN 0-262-59020-4。
- ミッチェル、JC (1996)。プログラミング言語の基礎。MIT 出版。ISBN 978-0-585-03789-9. OCLC 48138995.
- Nestruev, J. (2003). 滑らかな多様体と観測可能量。Springer。ISBN 0-387-95543-7。
- ポイザット、B. (2012) [2000]。モデル理論講座:現代数学論理入門。クライン、モーゼス訳。シュプリンガー。ISBN 978-1-4419-8622-1。
外部リンク
- レンスター、トム (2014)。「集合論の再考」。アメリカ数学月刊誌。121 ( 5): 403–415。arXiv : 1212.6543。CiteSeerX 10.1.1.751.6210。doi : 10.4169 / amer.math.monthly.121.05.403。S2CID 5732995 。
