Категорическая теория множеств
Категориальная теория множеств — это одна из нескольких версий теории множеств, разработанных или рассматриваемых в контексте математической теории категорий .
См. также [ править ]
Ссылки [ править ]
- Барр, М .; Уэллс, К. (1996). Теория категорий для информатики (2-е изд.). Прентис Холл. ISBN 978-0-13-323809-9 .
- Бурбаки, Н. (1994). Элементы истории математики . Перевод Мелдрама, Джона . Спрингер. дои : 10.1007/978-3-642-61693-8 . ISBN 978-3-642-61693-8 .
- Келли, Дж. Л. (2017) [1955]. Общая топология . Дувр. ISBN 978-0-486-81544-2 .
- Ламбек, Дж. ; Скотт, Пи Джей (1988). Введение в категориальную логику высшего порядка . Кембриджские исследования в области высшей математики. Том. 7. Издательство Кембриджского университета. ISBN 978-0-521-35653-4 .
- Ловере, ФРВ ; Роузбру, Р. (2003). Наборы по математике . Издательство Кембриджского университета. ISBN 978-0-521-01060-3 .
- Ловере, ФРВ; Шануэль, SH (2009). Концептуальная математика: первое введение в категории (2-е изд.). Издательство Кембриджского университета. ISBN 978-1-139-64396-2 .
- Киёси Ито, изд. (2000) [1993]. Энциклопедический математический словарь (2-е изд.). МТИ Пресс. ISBN 0-262-59020-4 .
- Митчелл, Джей Си (1996). Основы языков программирования . МТИ Пресс. ISBN 978-0-585-03789-9 . OCLC 48138995 .
- Неструев, Ю. (2003). Гладкие многообразия и наблюдаемые . Спрингер. ISBN 0-387-95543-7 .
- Пуаза, Б. (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 .
 | Эта теории множеств статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |