Теория категориальных множеств одна из нескольких версий теория множеств разработаны или рассматриваются в контексте математических теория категорий.
Рекомендации
- Барр, М. и Уэллс, К., Теория категорий для вычислительной науки, Хемел Хемпстед, Великобритания, 1990 год.
- Бурбаки, Н., Элементы истории математики, Джон Мелдрам (пер.), Springer-Verlag, Берлин, Германия, 1994.
- Келли, Дж., Общая топология, Ван Ностранд Рейнхольд, Нью-Йорк, Нью-Йорк, 1955.
- Ламбек, Дж. и Скотт, П.Дж., Введение в категориальную логику высшего порядка, Издательство Кембриджского университета, Кембридж, Великобритания, 1986.
- Лавер, Ф., и Розбру, Р., Наборы для математики, Издательство Кембриджского университета, Кембридж, Великобритания, 2003.
- Лавер, Ф., и Schanuel, S.H., Концептуальная математика, первое введение в категории, Cambridge University Press, Кембридж, Великобритания, 1997 г. Переиздано с исправлениями, 2000 г.
- Математическое общество Японии, Энциклопедический математический словарь, 2-е издание, 2 тома, Киеси Ито (ред.), MIT Press, Кембридж, Массачусетс, 1993.
- Митчелл, Дж., Основы языков программирования, MIT Press, Кембридж, Массачусетс, 1996.
- Неструев, Дж., Гладкие многообразия и наблюдаемые, Springer-Verlag, Нью-Йорк, штат Нью-Йорк, 2003. ISBN 0-387-95543-7.
- Пойза, Б., Курс теории моделей: введение в современную математическую логику, Моисей Кляйн (перевод), Springer-Verlag, Нью-Йорк, Нью-Йорк, 2000.
Смотрите также
внешняя ссылка
