Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO — объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается […]
Вики
Categorical logic
Вики
Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO — объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается
Вики
Теория Ловера
Теория Лоуверов Определение теории Лоуверов Теория Лоуверов — это категориальный аналог эквациональной теории. Категория L состоит из конечных произведений и
Вики
Многомерная алгебра
Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий. Она применяется в неабелевой алгебраической топологии
Вики
Теорема Стоуна о представлении булевых алгебр
Теорема Стоуна о представлении для булевых алгебр Теорема Стоуна утверждает, что каждая булева алгебра изоморфна определенному полю множеств. Эта теорема
Вики
Каменный космос
Каменное пространство Пространство Стоуна — компактное, полностью несвязанное хаусдорфово пространство. Пространства Стоуна названы в честь Маршалла Харви Стоуна и связаны
Вики
Алгебра многомерных измерений
Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий. Концепция многомерных категорий включает 2-ю категорию