В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

560 membersпожаловаться на группу
2018 February 23

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Ну да, задача пр List.
И я говорил про два канонiчных способа получить пары сопряжённых функторов.
Которые работают для любой монады.
Ессно, что для какого-то частного случая, могут найтись и более другие способы.
Ну и тем более, для такого примера, как List...
источник
16:53пожаловаться#1

NK

ID:257463693 in Теория категорий
@odomontois, о, супер, спасибо!
источник
16:53пожаловаться#2

NK

ID:257463693 in Теория категорий
царский перевод, и звучит отлично
источник
16:54пожаловаться#3

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
ID:257463693
царский перевод, и звучит отлично
а если бы оставил слабый то они бы друг друга элиминировали (слабый/сильный)
источник
16:56пожаловаться#4

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Зигохистоморфный Препроморфизм
или это не так?
источник
16:57пожаловаться#5

NI

Nick Ivanych in Теория категорий
Да, вполне естственно, что такие монады растут из чего-то относительно элементарного.
Но задача стояла по-другому — исследовать два канонiчных способа получения сопряжённых функторов.
Хотя и сами эти категории Эйленберга-Мура и Клейсли забавны и постояннно возникают.
источник
16:58пожаловаться#6

NI

Nick Ivanych in Теория категорий
Т.е., по конкретной монаде, довольно часто несложно угадать, откуда она появилась.
источник
17:00пожаловаться#7

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
ну список же рекурсивен
источник
17:00пожаловаться#8

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
как быть тут?
источник
17:00пожаловаться#9

NI

Nick Ivanych in Теория категорий
Где "рекурсивность" списка чему-то мешает?
У меня лично приходит на ум какая-нибудь начальная алгебра для соответствующего функтора, но что тут имеется в виду?
источник
17:01пожаловаться#10

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
та понятно что список можно представить через
Fix и Either () (a,b)
источник
17:04пожаловаться#11

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Где "рекурсивность" списка чему-то мешает?
У меня лично приходит на ум какая-нибудь начальная алгебра для соответствующего функтора, но что тут имеется в виду?
ты про такую алгебру говорил?
источник
17:07пожаловаться#12

NI

Nick Ivanych in Теория категорий
Ну, есть же понятие F-алгебры для любого функтора F, даже если и не монады.
Я просто не понимаю вопросы (точнее, что я могу сообщить, чтоб помочь...) и чотта вот тут от себя добавляю...
источник
17:08пожаловаться#13

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Ну, есть же понятие F-алгебры для любого функтора F, даже если и не монады.
Я просто не понимаю вопросы (точнее, что я могу сообщить, чтоб помочь...) и чотта вот тут от себя добавляю...
категория Клейсли это тройка (T, eta, nu)
источник
17:09пожаловаться#14

NI

Nick Ivanych in Теория категорий
Нуда. Объекты категории те же, морфизмы немного "не такие" ;-)
источник
17:10пожаловаться#15

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
морфизмы - стрелки клейсли
источник
17:10пожаловаться#16

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
а вот с категорией ЭМ фиг его
источник
17:11пожаловаться#17

NI

Nick Ivanych in Теория категорий
С Клейсли понятно, откуда (и куда) там получаются сопряжённые функторы?
источник
17:11пожаловаться#18

Oℕ

Oleg ℕizhnik in Теория категорий
Зигохистоморфный Препроморфизм
а если бы оставил слабый то они бы друг друга элиминировали (слабый/сильный)
она ведь может быть и strong strong monoidal functor
источник
17:17пожаловаться#19

Oℕ

Oleg ℕizhnik in Теория категорий
например, ZipList n для списков фиксированной длины
источник
17:20пожаловаться#20