Похожие чаты

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

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

3 ответов

9 просмотров

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

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

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

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

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

Обсуждают сегодня

For managing user-generated content rights in gaming? 🤯🚀
Brian
37
Do we have a Chinese community here?
迪迦
20
@Aiwan что такое база образца?
Alexey
27
Why binance delisting the token?
🅰🅽🅳🆁🅴🆆
14
Не многие знают, а кто знает, тот уже успел забыть, что в далёком 2004 году эта игра произвела настоящий фурор, настолько революционной была технология, применяемая для её соз...
ICCID
4
Короче я тут узнал полный пиздец Что кучу постов которые я создавал через posted Спустя время не могу редактировать и менять Мол телега возвращае ошибку Это реально так ...
inc.
13
Hi is Atomic wallet safe to exchange btc to xmr?
Regex
20
коллеги, добрый вечер! А никто не знает как модальная форма может себя закрыть? Ну допустим модальная форма определила, что смысла ей работать нет и хочет вернуть modalResult...
Михаил
83
I have LUSD tokens but they haven't pegged back to a dollar. Is there a reason why?
Harry the Hexican
14
Is UniBright Freequity an active live product ? A friend here in Asia was discussing the Tokenisation of RWA’s in his case Real Estate as he’s a developer with numerous overs...
Digital Trust
5
Карта сайта