t
Я со струнными диаграммами тоже неразобрался, по-моему это физикой какой-то пахнет.
не, то диаграммы фейнмана вроде
Size: a a a
2020 July 23
t
и те как раз простые
ЕО
Ну допустим так
объекты - это объекты С
1 - морфизмы между a, b - это всегда единичное множество
2 - морфизмы - это C(a, b)
объекты - это объекты С
1 - морфизмы между a, b - это всегда единичное множество
2 - морфизмы - это C(a, b)
Ты так потеряешь композицию
Oℕ
Ты так потеряешь композицию
какую из
ЕО
Между f:a->b и g:b->c
Oℕ
почему
ЕО
А как восстановить её?
Oℕ
не оч понимаю,
C(a, b) = {*}
* ∘ * = *
C(a, b) = {*}
* ∘ * = *
Oℕ
id = *
ЕО
Не-не, как ты по своей категории найдёшь h = f . g?
t
* . *
t
U w U
ЕО
* . *
Давайте без этого вот
t
он первый начал!
t
ладно, молчу, раз умного все равно не смогу сказать ._.
Oℕ
Не-не, как ты по своей категории найдёшь h = f . g?
h = * всегда
NI
не, то диаграммы фейнмана вроде
Диаграммы Фейнмана, это в каком-то роде, да, струнные диаграммы.
Только более навороченные.
Только более навороченные.
NI
Я со струнными диаграммами тоже неразобрался, по-моему это физикой какой-то пахнет.
Физики подобные инструменты много используют, это да.
Но к физике это совсем не обязательно имеет отношение.
Можно и просто категории в таком виде отображать, у меня где-то даже книжка была.
Но к физике это совсем не обязательно имеет отношение.
Можно и просто категории в таком виде отображать, у меня где-то даже книжка была.
Oℕ
Я, кстати, в отпуске на самом деле прочитал seven sketches наконец
Oℕ
Могу порекомендовать всем в качестве введения в теоркат, и даже не только введения