Проекционный модуль
Проекционный модуль Проективные модули являются обобщением векторных расслоений над коммутативными кольцами. Проективные модули обладают приятными свойствами, такими как локализация и […]
Вики
Вики
Слабое измерение
Слабое измерение Слабая размерность модуля в абстрактной алгебре определяет наибольшее число n, при котором группа Tor(M, N) отлична от нуля
Вики
Икс-машина
X-машина Статья представляет собой список тезисов и ссылок на различные исследования и работы, связанные с X-машинами. X-машины используются для формального
Вики
Ациклическая модель
Ациклическая модель Ациклические модели — это гомологические эквивалентности между категориями. Ациклические модели играют важную роль в алгебраической топологии и гомологической
Вики
Варшавский университет
Варшавский университет Статья представляет собой список известных людей, родившихся в Польше. В списке представлены политики, ученые, писатели, музыканты и другие
Вики
Российская Империя
Российская империя Россия прошла через множество правителей, включая Ивана Грозного, Петра Великого и Екатерину II. Правление Петра Великого привело к
Вики
Конгресс Польши
Конгресс в Польше Конгресс Польши был создан в 1815 году и имел конституцию, установленную Конституцией Королевства Польского. Вице-король избирался королем
Вики
Структурализм (философия математики)
Структурализм (философия математики) Структурализм в философии математики утверждает, что математические теории описывают структуры математических объектов. Математические объекты определяются своим местом
Вики
Одновалентные основы
Однозначные основания Одновалентные основы — подход к основам математики, основанный на типах. Типы в одновалентных основаниях соответствуют гомотопически эквивалентным пространствам
Вики
Теория гомотопических типов
Теория гомотопических типов Теория гомотопических типов — это математическая теория, основанная на топологии и теории категорий. Она позволяет описывать и
Вики
Интуиционистская теория типов
Интуиционистская теория типов Теория типов — это математическая теория, которая изучает типы и отношения между ними. Теория типов имеет множество
Вики
Зависимый тип
Зависимый тип Зависимые типы позволяют выражать сложные математические свойства в программировании. Зависимые типы могут быть представлены как декартовы произведения типов
Вики
Аксиома сводимости
Аксиома сводимости Статья обсуждает проблемы аксиомы сводимости в математике и философии. Аксиома сводимости вызывает парадоксы и трудности в обработке иррациональных
Вики
Описательная теория множеств
Описательная теория множеств Описательная теория множеств изучает свойства множеств и их отношения. Иерархия Бореля и проективная иерархия являются важными понятиями
Вики
Конструктивная теория множеств
Конструктивная теория множеств Метатеоретические свойства теории могут быть нарушены добавлением новых аксиом. Церковный тезис является метатеоретическим свойством, которое может быть
Вики
Теория множеств Цермело
Теория множеств Цермело Статья представляет собой введение в теорию множеств Цермело. Цермело предлагает аксиоматическую систему, основанную на аксиомах, которые устраняют