범주형 집합론
Categorical set theory
범주형 집합 이론은 수학 범주 이론의 맥락에서 개발되거나 다루어진 집합 이론의 여러 버전 중 하나이다.
참고 항목
참조
- 1990년 영국 헤멜 헴프스테드, Bar, M. and Wells, C. 컴퓨터 과학을 위한 범주 이론
- 부르바키, N, 수학사의 요소들, 존 멜드럼(트랜스), 스프링거-베를라크, 독일 베를린, 1994.
- 켈리, J.L., 제너럴 토폴로지, 밴 노스트랜드 라인홀드, 뉴욕, 1955.
- Lambek, J. and Scott, P.J., Higher Order Categular Logic 소개, Cambridge University Press, 영국 캠브리지, 1986.
- 로베레, F.W., 로즈브루그, R., 세트는 수학, 캠브리지 대학 출판부, 영국 케임브리지, 2003.
- 로베레, F.W.와 샤누엘, S.H., 개념 수학, 카테고리 첫 소개, 케임브리지 대학 출판부, 영국 케임브리지, 1997.2000년 수정본으로 다시 인쇄.
- 일본 수학 협회, 수학 백과사전, 제2판, 제2권, 제2권, 기요시 이츠(ed.), MIT 프레스, 캠브리지, MA, 1993.
- Mitchell, J.C. MIT Press, Cambridge, MA, 1996.
- Nestruev, J, Smooth 매니폴드 및 관측기, Springer-Verlag, New York, 2003. ISBN0-387-95543-7.
- Poizat, B, A Course in Model 이론: 현대 수학 논리에 대한 소개, Moses Klein (trans.), Springer-Verlag, New York, 2000.
외부 링크
