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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

559 membersпожаловаться на группу
2019 June 29

NI

Nick Ivanych in Теория категорий
Евгений Омельченко
Ну я исходя из этой аналогии и предложил потребность в мономорфизмы отовсюду. Я рассуждал так: в RealWorld должно поместиться любое состояние. Я не прав?
Да не то, чтоб прав или не прав.
Я просто говорил про более простую вещь ;-)
источник
20:44пожаловаться#1

ЕО

Евгений Омельченко in Теория категорий
Nick Ivanych
Да не то, чтоб прав или не прав.
Я просто говорил про более простую вещь ;-)
Ну с твоей вещью я согласен
источник
20:45пожаловаться#2

NI

Nick Ivanych in Теория категорий
Моё мнение про "Real World" такое, что наиболее адекватно его моделировать чем-то типаа (может быть, потоком) "сообщений".
Что это не тип, который такой мощный и большой, а просто способ организации своих морфизмов и указания их, как "интерфейсу" для общения.
Я несколько образно сказал, но думаю, что мысль понятна.
источник
20:50пожаловаться#3
2019 June 30

NI

Nick Ivanych in Теория категорий
Авот такая задачка.
Есть категория монад, из неё забывающий в категорию аппликативов.
Построить к нему левый сопряжённый.
источник
14:38пожаловаться#4

Oℕ

Oleg ℕizhnik in Теория категорий
аппликативы - это ослабленые моноидальные эндофункторы, или мы как-то предполагаем что базовая категория замкнута?
источник
14:42пожаловаться#5

NI

Nick Ivanych in Теория категорий
Oleg ℕizhnik
аппликативы - это ослабленые моноидальные эндофункторы, или мы как-то предполагаем что базовая категория замкнута?
Базовая категория достаточно хорошая. Замкнутая.
источник
14:43пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
Ну если нет ограничений на силу базовых категорий, я определю обычную фримонаду как HIT, где просто добавлю путь, который выражает ap через mu
источник
14:59пожаловаться#7

NI

Nick Ivanych in Теория категорий
Что такое HIT?
источник
15:01пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Higher Inductive Type
источник
15:01пожаловаться#9

NI

Nick Ivanych in Теория категорий
А. Не, надо послабее. Скажем, что-то типа Hask.
Впрочем, я уже начинаю догадываться.
источник
15:02пожаловаться#10

Oℕ

Oleg ℕizhnik in Теория категорий
Nick Ivanych
А. Не, надо послабее. Скажем, что-то типа Hask.
Впрочем, я уже начинаю догадываться.
Как догадаешься окончательно, поделись, пожалуйста
источник
15:02пожаловаться#11

NI

Nick Ivanych in Теория категорий
В контексте хаскеля и большинства языков программирования, аппликативный функтор можно определить, как просто моноидальный.
Это верно приблизительно потому же, почему в хаскеле все монады с̶е̶р̶ы̶е̶ сильные.
источник
16:15пожаловаться#12
2019 July 01

ЕО

Евгений Омельченко in Теория категорий
Nick Ivanych
В контексте хаскеля и большинства языков программирования, аппликативный функтор можно определить, как просто моноидальный.
Это верно приблизительно потому же, почему в хаскеле все монады с̶е̶р̶ы̶е̶ сильные.
Если я правильно ncatlab понял, то "аппликативный" это и есть слабый моноидальный
источник
23:11пожаловаться#13

ЕО

Евгений Омельченко in Теория категорий
Только мне вот неочевидно, что в хаскеле все монады сильные :) Можешь описать почему?
источник
23:12пожаловаться#14

ЕО

Евгений Омельченко in Теория категорий
Вообще как развить у себя weak/strong-интуицию? Чтобы такого почитать, чтобы понять в чём вообще разница между слабыми и сильными конструкциями?
источник
23:19пожаловаться#15

AG

Alex Gryzlov in Теория категорий
тут вроде бы имеется в виду https://ncatlab.org/nlab/show/tensorial+strength
источник
23:28пожаловаться#16
2019 July 02

ЕО

Евгений Омельченко in Теория категорий
Alex Gryzlov
тут вроде бы имеется в виду https://ncatlab.org/nlab/show/tensorial+strength
Мне кажется, что это связанные с weak/strange n-category понятия, нет?
источник
00:04пожаловаться#17

Oℕ

Oleg ℕizhnik in Теория категорий
Nick Ivanych
Авот такая задачка.
Есть категория монад, из неё забывающий в категорию аппликативов.
Построить к нему левый сопряжённый.
Возможно, придумал.
Раз монады - моноид в категории с композицией, а аппликативы - со свёрткой дея, то чтобы дополнить минимальным образом второе до первого нужен свободный конструктор


Splice: f · f -> Day f f

для монады
реализуется тривиально

splice: Compose f f ~> Day f f
splice (Compose ff) = Day ff (pure ()) (flatten . fst)
источник
00:05пожаловаться#18

ЗП

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

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
это наверное не splice a lower
источник
00:14пожаловаться#20