Теория категориальных множеств - Categorical set theory - Wikipedia

Теория категориальных множеств одна из нескольких версий теория множеств разработаны или рассматриваются в контексте математических теория категорий.

Рекомендации

  • Барр, М. и Уэллс, К., Теория категорий для вычислительной науки, Хемел Хемпстед, Великобритания, 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.

Смотрите также

внешняя ссылка