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

Центр λ обезвредил группу хаскелистов. Для обмена информацией они пользовались Телеграмом. По предварительным данным у них были найдены зигохистоморфный и эндофункторы.

источник

11:03пожаловаться #12

ЕО

Евгений Омельченко in Теория категорий

Alexander Vershilov

во многом достаточно легко проверить решив что-то, а тут неясно правильное ли доказательство или нет

Почему непонятно? 😨 В чём разница с проверкой вывода в любой другой теории, основанной на языке теории множеств?

источник

11:54пожаловаться #13

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

ну не самовалидировать утаерждения

источник

12:01пожаловаться #14

ЕО

Евгений Омельченко in Теория категорий

М?

источник

12:04пожаловаться #15

ЕО

Евгений Омельченко in Теория категорий

Как это так? Это же обычные утверждения в рамках теории множеств

источник

12:04пожаловаться #16

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

Alexander Vershilov

ну не самовалидировать утаерждения

можно на коке все формализовать

источник

12:09пожаловаться #17

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

есть категория A = ({ 1, 2, 3 }, { 1 → 2, 2 → 3 })
есть категория B = ({ a, b, c, p }, { a → b, b → c })

есть функтор ∆:

∀ x in Ob(A). ∆(x) = p
∀ f ∋ Hom(x : A, y : A). ∆(f) in End(p)

есть функтор F:

F(1) = a
F(2) = b
F(3) = c
F(1 → 2) = a → b
F(2 → 3) = b → c

есть естественное преобразование ∆ ~> F:

p → a
p → b
p → c

я правильно понимаю, что эта пара функторов и их естественное преобразование образуют конус?

источник

12:37пожаловаться #18

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

и если да, что в таком случае происходит с End(p) при ∆ ~> F?

источник

12:40пожаловаться #19

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

кана

и если да, что в таком случае происходит с End(p) при ∆ ~> F?

Всё, что образовывается константным функтором и является конусом и вследствии их естественности — коммутатируются. Концы определены уровнем выше, через профункторы.

источник

12:45пожаловаться #20