Foundations of mathematics

Вики

Основы математики

Основы математики Математика возникла из практических потребностей и развивалась на протяжении тысячелетий.  Математическая логика стала разделом математики благодаря работам Лейбница, […]

Вики

Топос

Клише Топосы – это категории с определенными свойствами, такими как декартова замкнутость и существование конечных пределов и мощности объектов.  Логические

Вики

Теория высших категорий

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

Вики

Теория категорий

Теория категорий Теория категорий – фундаментальная область математики, изучающая математические структуры и отношения между ними.  Категории являются абстрактными объектами, которые

Прокрутить вверх