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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
ну и по сути F-algebra это T-algebra только в другой категории
"F" или "T" тут, это просто название функтора!!
Т.е., есть у меня есть функтор List, то может быть и List-алгебра.
источник
20:36пожаловаться#1

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
"F" или "T" тут, это просто название функтора!!
Т.е., есть у меня есть функтор List, то может быть и List-алгебра.
ну это я понял раньше
источник
20:36пожаловаться#2

NI

Nick Ivanych in Теория категорий
Ну тогда домашнее задание — построить два варианта сопряжённых функторов для монады List ;-)
источник
20:40пожаловаться#3

NI

Nick Ivanych in Теория категорий
Немного поучительно, хотя и в целом, если для программирования, то непонятно, зачем.
Но тут же ж более другой чатег! :-)
источник
20:41пожаловаться#4

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Ну тогда домашнее задание — построить два варианта сопряжённых функторов для монады List ;-)
в Черче?
источник
20:45пожаловаться#5

Oℕ

Oleg ℕizhnik in Теория категорий
Nick Ivanych
Ну тогда домашнее задание — построить два варианта сопряжённых функторов для монады List ;-)
второй раз слышу эту задачу и второй раз в состоянии опьянения
источник
20:51пожаловаться#6

λ

λoλzod in Теория категорий
наверное изоморфизм
источник
20:53пожаловаться#7

Oℕ

Oleg ℕizhnik in Теория категорий
в вики как раз по-моему приводится два способа построить сопряжённую пару из любой монады
источник
20:53пожаловаться#8

λ

λoλzod in Теория категорий
мысли новичка:
вот эти диаграммы кстати дают очень интересное другое представление
http://thedeemon.livejournal.com/67392.html

всё время думаешь чём-то замкнутом округлом
а тут что-то бесконечно растущее
Livejournal
рисуем монаду
Сегодня в нашем кружке "теоркат для самых маленьких" урок рисования. Будем рисовать монаду. ( А то весной кое-кто писал "если монаду нельзя нарисовать, то её нет". ) Для начала нарисуем что-нибудь совсем простое. Палка, палка, огуречик - получился моноид. Моноид состоит из множества (вообще-то…
источник
20:54пожаловаться#9

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Oleg ℕizhnik
в вики как раз по-моему приводится два способа построить сопряжённую пару из любой монады
а вот со списком интересно)
если записать в Черче то мб как-то можно
источник
20:54пожаловаться#10

ЗП

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

AG

Alex Gryzlov in Теория категорий
λoλzod
мысли новичка:
вот эти диаграммы кстати дают очень интересное другое представление
http://thedeemon.livejournal.com/67392.html

всё время думаешь чём-то замкнутом округлом
а тут что-то бесконечно растущее
Livejournal
рисуем монаду
Сегодня в нашем кружке "теоркат для самых маленьких" урок рисования. Будем рисовать монаду. ( А то весной кое-кто писал "если монаду нельзя нарисовать, то её нет". ) Для начала нарисуем что-нибудь совсем простое. Палка, палка, огуречик - получился моноид. Моноид состоит из множества (вообще-то…
это потому что струнные диаграммы дуальны обычным, типа объекты - "проводки", а морфизмы - "девайсы"
источник
20:58пожаловаться#12

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Alex Gryzlov
это потому что струнные диаграммы дуальны обычным, типа объекты - "проводки", а морфизмы - "девайсы"
это Феймановские?
источник
20:58пожаловаться#13

AG

Alex Gryzlov in Теория категорий
фейнмановские это струнные для квантовой физики
источник
20:58пожаловаться#14

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
это Феймановские?
Феймановские — это те же струнные, но "на стероидах".
источник
20:59пожаловаться#15

NI

Nick Ivanych in Теория категорий
Моноидальные (струнные) диаграммы работают с более широким классом категорий, чем Фейнмановские.
источник
21:00пожаловаться#16

NI

Nick Ivanych in Теория категорий
Т.е., в Фейнмановских куча всяких удобных (? я не физик, но типатого...) фишек, которые просто неопределимы для широкого класса моноидальных категорий.
источник
21:01пожаловаться#17

Oℕ

Oleg ℕizhnik in Теория категорий
Зигохистоморфный Препроморфизм
а вот со списком интересно)
если записать в Черче то мб как-то можно
ну вот ты сказал и я как раз вспомнил кусок видео про фри моноиды через сопряжение
источник
21:04пожаловаться#18

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Oleg ℕizhnik
ну вот ты сказал и я как раз вспомнил кусок видео про фри моноиды через сопряжение
какое видео?
источник
21:05пожаловаться#19

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
в Черче?
Да какой тут нафиг Чёрч... Причём тут...
Построить категории Эйленберга-Мура и Клейсли для монады List и показать, где и как там возникают пары сопряжённых функторов, которые дают эту монаду.
источник
21:05пожаловаться#20