IJ
Правильно ли думать об adjunctions как об изоморфизме с точностью до natural transformation?
Size: a a a
2019 September 27
DM
Жюлз категорный экономист
это как? натягивает категории на экономику или экономику на категории?
IJ
это как? натягивает категории на экономику или экономику на категории?
Хороший вопрос от человека с совой на аватарке
AG
это как? натягивает категории на экономику или экономику на категории?
ЕО
новый англоязычный чатик по прикладному теоркату, с участием Жюлза и Фоско: @appliedcategorytheory
Ммм, прикладной теоркат на английском. Столкнулся с классической 2-из-3 дилеммой :) Могу в абстрактный теоркат на английском, прикладную литературу на английском в земной математике и прикладную литературу по теоркату, но на русском
AG
я думаю абстрактный теоркат на английском недалеко ушел от прикладного
AG
хотя конечно зависит от конкретных приложений
AG
каких то терминов для квантов или лингвистики может и не хватать
TR
Нашёл этот чатик через английский
ЗП
реферальные ссылки?)
TR
Не, поиском )
Oℕ
Правильно ли думать об adjunctions как об изоморфизме с точностью до natural transformation?
об изоморфизме где?
Oℕ
одна из стандартных формулировок и так состоит из изоморфизмов в Set
NI
Правильно ли думать об adjunctions как об изоморфизме с точностью до natural transformation?
Скорее, что нет. А мысль пока не понял.
Есть три классических определения сопряжения.
Через изоморфизм соответствующих Hom'ов,
через универсальные стрелки
и юнито-коюнитовое.
Есть три классических определения сопряжения.
Через изоморфизм соответствующих Hom'ов,
через универсальные стрелки
и юнито-коюнитовое.
ЕО
я думаю абстрактный теоркат на английском недалеко ушел от прикладного
Не, мне просто интеллектуальных ресурсов не хватает на то, чтобы одновременно думать про теоркат, предметную область и переводить ещё
NI
Можно не одновременно ;-)
NI
Но в целом, немного труднее, да.
2019 September 30
NI
Более-менее любопытно, хотя и местами спорно —
https://www.youtube.com/watch?v=ho7oagHeqNc
Но самое главное, что социально справедливо!
;-)
https://www.youtube.com/watch?v=ho7oagHeqNc
Но самое главное, что социально справедливо!
;-)
2019 October 02
AK
Более-менее любопытно, хотя и местами спорно —
https://www.youtube.com/watch?v=ho7oagHeqNc
Но самое главное, что социально справедливо!
;-)
https://www.youtube.com/watch?v=ho7oagHeqNc
Но самое главное, что социально справедливо!
;-)
🤣