Телеграмм чат группы ru_catheory страница 310

Size: a a a

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

559 membersпожаловаться на группу

2019 November 15

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

Renat Amirov

Вот она непостижимая и вечно ускользающая Монада! :)
... прошел 1 час ...
Блин, опять ниче не понял. Не дано (

а можете дать ссылку на это видео или плейлист, пожалуйста? поиск, увы, не находит.

источник

13:05пожаловаться #1

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

а, нашел, у меня не искало локализованное название

источник

13:05пожаловаться #2

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

Valery

Да, вполне конкретное множество. Составить множество таких утверждений можно, но потом ещё нужно будет доказать, что эта стрелка существует, что верно только если это утверждение верно.

А, нет, я не правильно проинтерпретировал это сообщение. Я говорил о множестве доказательств этого утверждения. Если говорить о множестве самих утверждений, то наличие стрелок в него не означает, что соответствующие утверждения верны.

источник

13:07пожаловаться #3

Let Eat Bee in Теория категорий

toriningen

а, нашел, у меня не искало локализованное название

У него три плейлиста по ТК, вот его канал https://m.youtube.com/user/DrBartosz

Let Eat Bee in Теория категорий

Valery

Я к сожалению не могу вести предметную дискуссию на вашем уровне :) по этому просто приму за факт, что "так можно было" :)

источник

13:09пожаловаться #5

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

В доказательстве основной момент заключался в равенстве стрелок. Две стрелки B -> Prop равны тогда и только тогда, когда для всех элементов B соответствующие им утверждения эквивалентны. Таким образом можно доказывать истинность различных утверждений, как я это сделал в примере.

источник

13:09пожаловаться #6

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

Let Eat Bee

У него три плейлиста по ТК, вот его канал https://m.youtube.com/user/DrBartosz

спасибо, пригодится

Let Eat Bee in Теория категорий

toriningen