V
Обычно говорится просто "моноид в такой-то категории"
Size: a a a
2019 June 15
L🇷
Обычно говорится просто "моноид в такой-то категории"
Окей понял
2019 June 16
Oℕ
Чёрт, а есть какой нибудь термин для обобщённого например моноида , чтобы отличать его от обычного моноида из общей алгебры?
моноидальный объект
2019 June 17
V
Является ли тензорное произведение(пусть R-модулей) свободным объектом в какой-нибудь категории?
Слишком туманный вопрос. Например, в категории абелевых групп очень часто не является.
V
Если же R - алгебра над полем, то тогда тензорное произведение дает объект из Vect, а там все объекты свободны
AZ
Всем здороу🍔). Я тип новичёк в этой вашей Теории категорий). Можете мне объяснить чё к чему по бырыку?)
Кароч, из определения википедии говориться, что один из трёх элементов монады это "функтор из категории K в себя". То есть монада содержит категорию как объект. Значит что монада - это категория категорий?
Кароч, из определения википедии говориться, что один из трёх элементов монады это "функтор из категории K в себя". То есть монада содержит категорию как объект. Значит что монада - это категория категорий?
нифига себе новички)
L🇷
нифига себе новички)
Ага, надвно пропёрся всей этой мацематикой)
Наверно буду ещё задавать кучу дурацких вопросов)
Наверно буду ещё задавать кучу дурацких вопросов)
VY
я вроде бы понимаю всё, но меня это почему-то запутывает
VY
Т.е. я просто могу `mu * T` переписать как `mu * I(T)`? И больше ничего такая запись не значит? Зачем вообще вводится это сокращение? (не знаю как с телефона форматировать код в телеге, сори)
VY
Ну в общем понятно, для удобства и лаконичности. Можно везде, где встречается композиция нат преобразования с эндофунктором на месте T представлять identity natural transformation.
L🇷
Может просто автор готовит, что где то ещё может встречаться такая не стандартная запись как
mu * TVY
насколько я нагуглил — такая запись используется повсюду
L🇷
лол
VY
а что такое unitor по-русски?
VY
юнитор? :)
DR
объединитель
VY
тогда было бы uniter, но по смыслу подходит. вообще, не оч важно, но мне проще запоминать и (не дай бог) объяснять, если я знаю перевод.