at
отправил в нокаут
Size: a a a
2017 December 26
NK
вы случайно не фронтендщики?
Я на пхп пишу бекенд
NK
И ладно бы это была шутка )
C🐝
ID:502986831
Я на пхп пишу бекенд
Ну ты лолка
NK
Ну ты лолка
Но еще фронтенд...
2017 December 28
EK
Теперь это превратится в очередной чатик про аниме? 🤔
EK
(или в @fp_ru)
2018 January 09
к
я правильно понимаю, что если мы хотим как-то работать с функтором, то нужно работать в Cat категории?
к
то есть пара из объекта A категории C и функтором F: C -> D будет в категории (C, Cat)?
2018 January 12
ЕО
я правильно понимаю, что если мы хотим как-то работать с функтором, то нужно работать в Cat категории?
Если мы хотим работать с функторами как со стрелками какой-то категории, то да.
Но так "забываешь" информацию об объектах изначальных категорий. Функтор из C в D это стрелка в категории кат
Но так "забываешь" информацию об объектах изначальных категорий. Функтор из C в D это стрелка в категории кат
PG
А про всякие сетоиды можно здесь спрашивать?
к
лучше спрашивать про сетоиды, чем ничего не спрашивать
к
вопрос скорее в том, есть ли тут те, кто в состоянии ответить
PG
Ну я это и спрашиваю в общем-то.
ЕО
Обычно так — кто-нибудь (обычно ℵ₀) спрашивает что-то, я вспоминаю про чат, чо-то стараюсь вспомнить из универского курса, чо-то гуглю и отвечаю
ЕО
Если у кого-то есть знакомые алгебраисты, то было бы круто их тут увидеть
к
"чо-то гуглю и отвечаю" - о, я так же отвечаю
ЕО
А про всякие сетоиды можно здесь спрашивать?
А чо хотел спросить?
к
сетоиды это hott, нет?
AT
нет)