Oℕ
ну для списка
Mon -> Set
Set -> Mon
Mon -> Set
Set -> Mon
А зачем Set?
Size: a a a
2018 February 23
Oℕ
Зачем спускаться до Set
NI
ну для списка
Mon -> Set
Set -> Mon
Mon -> Set
Set -> Mon
Вопрос к чему, на какую тему?
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
NI
Я правда хочу помочь, но вот чотта не получается...
NK
вопрос: lax monoidal functor переводят на русский как слабый моноидальный функтор, да?
Oℕ
Вопрос к чему, на какую тему?
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
нет, мы просто выше вспомнили третий способ получить монаду списка из сопряжения как FreeMonoid \ ForgetMonoid
ЗП
Вопрос к чему, на какую тему?
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
Если про получение сопряжённых из монад, то вааще непонятно, к чему это — это про Клейсли или Эйленберга-Мура?...
вот со второй частью не понятно это про Эйленберга-Мура
NI
ID:257463693
вопрос: lax monoidal functor переводят на русский как слабый моноидальный функтор, да?
С переводами на русский всё традиционно плохо ;-(
Но видимо, что не так — а как тогда переводить weak monoidal?
Но видимо, что не так — а как тогда переводить weak monoidal?
Oℕ
нет, мы просто выше вспомнили третий способ получить монаду списка из сопряжения как FreeMonoid \ ForgetMonoid
но лично я до сих пор не освоил Эленберга-Муура
NI
Я говорю "lax", подразумевая, что кто-то и когда-то уже придумал или вот прямскоро придумает правильный перевод ;-)
NI
с клейсли понятно а вот со вторым
Т.е., понятна как категория, так и получающаяся пара сопряжённых функторов, так?
Oℕ
Я говорю "lax", подразумевая, что кто-то и когда-то уже придумал или вот прямскоро придумает правильный перевод ;-)
из мультитрана мне больше всего нравится "расхлябанный функтор"
NK
@odomontois, увы, так не напишешь в дипломной работе (
Oℕ
ID:257463693
@odomontois, увы, так не напишешь в дипломной работе (
у нас нормально относили к инглишу в дипломах
NI
нет, мы просто выше вспомнили третий способ получить монаду списка из сопряжения как FreeMonoid \ ForgetMonoid
Я что-то упустил?
Для любой монады в любой категории есть такой способ?...
Для любой монады в любой категории есть такой способ?...
Oℕ
нет, это только для List,
NI
Нувот.
Oℕ
задача-то исходная про List была
NI
Ну да, задача пр List.
И я говорил про два канонiчных способа получить пары сопряжённых функторов.
Которые работают для любой монады.
Ессно, что для какого-то частного случая, могут найтись и более другие способы.
Ну и тем более, для такого примера, как List...
И я говорил про два канонiчных способа получить пары сопряжённых функторов.
Которые работают для любой монады.
Ессно, что для какого-то частного случая, могут найтись и более другие способы.
Ну и тем более, для такого примера, как List...
Oℕ
ID:257463693
@odomontois, увы, так не напишешь в дипломной работе (
типа lax strong monoidal functor (вариант перевода - нестрогий тензорно-сильный моноидальный функтор )