Oℕ
а, простите
Size: a a a
2020 April 22
Oℕ
Честно говоря. мне кажется, это просто опечатка очередная, не вносящая особых проблем
Oℕ
Хотя ладно, непонятно
Oℕ
Но в любом случае, это кажется совершенно неважным
к
не опечатка, но в целом проблем действительно не вызывает, потому что раз они все перевернуты, то это считай что не перевернуты
к
при этом когда речь была про композицию с морфизмами, то тут все было нормально
мне бы конечно хотелось понять истоки этого соглашения, мб в комментах у бартоша найду
мне бы конечно хотелось понять истоки этого соглашения, мб в комментах у бартоша найду
к
не опечатка, но в целом проблем действительно не вызывает, потому что раз они все перевернуты, то это считай что не перевернуты
и типа если взять P = hom, то стрелки уже в обратную сторону будут, хоть ковариантный и вариантный аргумент в нужном порядке будут идти
2020 April 24
AG
2020 April 26
2020 April 27
МБ
@Comonoid доброго времени суток. Говорят, Вы занимаетесь компиляцией в сети взаимодействия (interection nets). Можете посоветовать какой-нибудь вводный материал в тему?
NI
@Comonoid доброго времени суток. Говорят, Вы занимаетесь компиляцией в сети взаимодействия (interection nets). Можете посоветовать какой-нибудь вводный материал в тему?
Да могу и посоветую скоро в formal compiler.
Просто сейчас времени нет, на работе запара.
А тут имхо это оффтопик.
Ну я буду пытаться исследовать, как они соотносятся с категориями, но статей пока не видел.
Просто сейчас времени нет, на работе запара.
А тут имхо это оффтопик.
Ну я буду пытаться исследовать, как они соотносятся с категориями, но статей пока не видел.
МБ
Да могу и посоветую скоро в formal compiler.
Просто сейчас времени нет, на работе запара.
А тут имхо это оффтопик.
Ну я буду пытаться исследовать, как они соотносятся с категориями, но статей пока не видел.
Просто сейчас времени нет, на работе запара.
А тут имхо это оффтопик.
Ну я буду пытаться исследовать, как они соотносятся с категориями, но статей пока не видел.
А вон выше висит Mathematics of Networks, вполне категорные описания. Может подойдёт?
NI
А вон выше висит Mathematics of Networks, вполне категорные описания. Может подойдёт?
Хрен его знает, может быть, и подойдёт...
Но я пока этого не увидел.
Но я пока этого не увидел.
SC
2020 April 30
AD
Здравствуйте. Если "монада ето моноид в категории ендофункторов", можно ли сказать что "функтор ето семигрупа в категории ендофункций"? Нигде не нашел такого опредиления, но выглядит что они ведут себя одинаково.
к
нет, нельзя
NI
Andrey D
Здравствуйте. Если "монада ето моноид в категории ендофункторов", можно ли сказать что "функтор ето семигрупа в категории ендофункций"? Нигде не нашел такого опредиления, но выглядит что они ведут себя одинаково.
Функтор, это гомоморфизм категорий!
к
это слишком тривиальное определение, не так круто
NI
это слишком тривиальное определение, не так круто
Ну так и категория, это довольно простая структура ;-)