Категорическая логика

Вики

Объект натуральных чисел

Объект натуральных чисел Определение натуральных чисел в теории категорий NNO — объект с рекурсивной структурой, аналогичной натуральным числам.  NNO задается […]

Вики

Объект натуральных чисел

Объект натуральных чисел Определение натуральных чисел в теории категорий NNO — объект с рекурсивной структурой, аналогичной натуральным числам.  NNO задается

Вики

Теория Ловера

Теория Лоуверов Определение теории Лоуверов Теория Лоуверов — это категориальный аналог эквациональной теории.  Категория L состоит из конечных произведений и

Вики

Многомерная алгебра

Многомерная алгебра Основы многомерной алгебры Многомерная алгебра изучает категоризированные структуры в теории высших категорий.  Она применяется в неабелевой алгебраической топологии

Вики

Каменный космос

Каменное пространство Пространство Стоуна — компактное, полностью несвязанное хаусдорфово пространство.  Пространства Стоуна названы в честь Маршалла Харви Стоуна и связаны

Вики

Алгебра многомерных измерений

Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий.  Концепция многомерных категорий включает 2-ю категорию

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