А что такое "предикат равенства" в топосе? В internal logic

Question

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

Евгений Омельченко

А что такое "предикат равенства" в топосе? В internal logic

топоса вроде нет никакого равенства

0

19.05.2024

6 ответов

31 просмотр

Аршак Айвазьян

В классической книжке по категорной логике (кажется один из авторов Ламбек? забыл название, позже могу посмотреть с компьютера) описывается внутренняя теория типов топоса (в упрощённой версии) и там есть равенство, конечно. Без него никакой математики не произнести же просто, а в любом топосе (с N) наоборот она целиком есть А для высших топосов внутрений язык содержит HoTT и там равенство не только есть, а (его унивалентость) ключевая идея

0

7 месяцев назад

Георгий Каданцев

Аршак Айвазьян
В классической книжке по категорной логике (кажетс...

Наверное, эта книжка имеется ввиду, Ламбек и Скотт авторы https://github.com/Mzk-Levi/texts/blob/master/Lambek%20J.%2C%20Scott%20P.J.%20Introduction%20to%20Higher%20Order%20Categorical%20Logic.pdf

0

7 месяцев назад

Mehten Austen

Аршак Айвазьян
В классической книжке по категорной логике (кажетс...

Стикер

0

5 месяцев назад

Nick Ivanych

Без равенства или чего-то, что к нему несложно сводится, придётся придумывать какую-то оочень другую математику. Какая она должна быть - неочевидно, мягко говоря.

0

5 месяцев назад

Евгений Омельченко Автор вопроса

Стикер

0

5 месяцев назад

Георгий Каданцев · Accepted Answer

Георгий Каданцев

В внутренней логике роль равенства играет характеристическое отображение у диагонального

0

7 месяцев назад

Похожие чаты

А что такое "предикат равенства" в топосе? В internal logic

6 ответов

Похожие вопросы