Категориялық жиынтық теориясы - Categorical set theory - Wikipedia

Категориялық жиынтық теориясы бірнеше нұсқаларының кез келгені болып табылады жиынтық теориясы дамыған немесе математикалық тұрғыдан өңделген категория теориясы.

Әдебиеттер тізімі

  • Барр, М. және Уэллс, С., Есептеу ғылымының санат теориясы, Хемел Хемпстед, Ұлыбритания, 1990 ж.
  • Бурбаки, Н., Математика тарихының элементтері, Джон Мелдрум (транс.), Спрингер-Верлаг, Берлин, Германия, 1994 ж.
  • Келли, Дж., Жалпы топология, Ван Ностран Рейнхольд, Нью-Йорк, Нью-Йорк, 1955.
  • Ламбек, Дж. және Скотт, П.Ж., Жоғары деңгейлі категориялы логикаға кіріспе, Кембридж университетінің баспасы, Кембридж, Ұлыбритания, 1986 ж.
  • Ловере, Ф.В., және Розбруг, Р., Математикаға арналған жиынтықтар, Кембридж университетінің баспасы, Кембридж, Ұлыбритания, 2003 ж.
  • Ловере, Ф.В., және Шануэль, С.Х., Тұжырымдамалық математика, санаттарға алғашқы кіріспе, Cambridge University Press, Кембридж, Ұлыбритания, 1997. Түзетулермен қайта басылған, 2000 ж.
  • Жапонияның математикалық қоғамы, Математиканың энциклопедиялық сөздігі, 2-ші басылым, 2-том, Kiyosi Itô (ред.), MIT Press, Кембридж, MA, 1993.
  • Митчелл, Дж., Бағдарламалау тілдерінің негіздері, MIT Press, Кембридж, MA, 1996.
  • Неструев, Дж., Тегіс көп қабатты және бақыланатын заттар, Springer-Verlag, Нью-Йорк, Нью-Йорк, 2003 ж. ISBN  0-387-95543-7.
  • Пойзат, Б., Модельдік теория курсы: қазіргі математикалық логикаға кіріспе, Мозес Клейн (транс.), Спрингер-Верлаг, Нью-Йорк, Нью-Йорк, 2000.

Сондай-ақ қараңыз

Сыртқы сілтемелер