Post #129
1.22K
- 🔥 3
- ❤ 1
- Mar 12, 2024На первой лекции мы кратко зафиксировали тезисы, раскрытые выше, после чего говорили про 1…
- Mar 12, 2024Как уже читается из предыдущих абзацов, точка зрения на типы, как на базовое понятие приво…
- Mar 12, 2024C1 Категория Категория — это * Типы Ob, Mor * Функции dom, cod, ∘, id * Естественные равен…
- Mar 12, 2024Во-вторых, как отмечалось, типы — это, в точности, гомотопические типы в теории гомотопий.…
- Mar 12, 2024За прошедшие с тех пор 11 лет, в области произошло несколько впечатляющих и вдохновляющих…
- Mar 12, 2024Итак, Равенство (или изоморфизм) группоидов — это обратимая функция f: A → B. То есть, f т…