KN
это скорее гомоморфизм
a, b - объекты C
F a, F b - объекты D
f - морфизм в C
F f - морфизм в D
b --F--> F b
^ ^
f --F--> F f
| |
a --F--> F aSize: a a a
2019 December 16
λ
F - функтор C -> D
a, b - объекты C
F a, F b - объекты D
f - морфизм в C
F f - морфизм в D
a, b - объекты C
F a, F b - объекты D
f - морфизм в C
F f - морфизм в D
λ
Tel Asc
Извините за глупый вопрос.
Функтор преобразует одну категорию в другую?
Или может также преобразовывать отдельно морфизмы и объекты?
Функтор преобразует одну категорию в другую?
Или может также преобразовывать отдельно морфизмы и объекты?
точно так же как и функция: её можно рассматривать как отображение одного множества в другое, так и как отображение отдельных элементов множества в отдельные элементы другого множества
ЕО
Tel Asc
Можно ли считать функтор функцией?
В каком-то смысле, если брать интуитивное представление о функциях
ЕО
Можно думать о функторах как об общении понятия функции, наверное так корректно
TA
F : C -> D
G : C -> D
X объект С
Можно ли изобразить естественное преобразование(F -> G) как:
_G(X)_
/. /\. \
X |. D
\_F(X)__/
G : C -> D
X объект С
Можно ли изобразить естественное преобразование(F -> G) как:
_G(X)_
/. /\. \
X |. D
\_F(X)__/
TA
А,оно сместилось!
A
можно использовать ``` чтобы сделать моноширинное
NI
Естественное преобразование должно быть моноширинным!
ЕО
Есть латех-бот, но он вроде не умеет коммутативные диаграммы
2019 December 17
NI
God doesn't know about string diagrams, he commutates empirically!
B
Для таких случаев, наверное, легче всего просто нарисовать и скинуть картинкой. Если латех, то перевести в картинку уже его.
B
Мессенджер не очень подходит для всего для подобного (на самом деле для всего тоже).
B
Делать моноширинный, простите, ASCII-арт, в глючащем-то телеграме — это такое себе удовольствие.
ЕО
Brenoritvrezorkre
Для таких случаев, наверное, легче всего просто нарисовать и скинуть картинкой. Если латех, то перевести в картинку уже его.
Ну вот есть бот, который умеет куски латеха превращать в картинку :)
ЕО
Но надо в нём плагины крутить
YS
лучше рисовать от руки, например, в боте
YS
это было?
TA
Да.