WikiDer > Теория категориальных множеств - Википедия

Эта статья является сирота, как никакие другие статьи ссылка на это. Пожалуйста ввести ссылки на эту страницу из Статьи по Теме; попробуйте Инструмент поиска ссылок для предложений. (Июнь 2015 г.)

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

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

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

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

• Категориальная логика

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

• Переосмысление теории множеств Тома Ленстера

Этот теория множеств-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е

Этот теория категорий-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е