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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
а тут только последнее местами пробелы
Про Клейсли ну прям, можно сказать, что код нарисован —
https://en.wikipedia.org/wiki/Kleisli_category#Kleisli_adjunction
Доказать только остаётся, что это так, но там несложно.
Wikipedia
Kleisli category
In category theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli category is one of two extremal solutions to the question Does every monad arise from an adjunction? The other extremal solution is the Eilenberg–Moore category. Kleisli categories are named for the mathematician Heinrich Kleisli.
источник
12:19пожаловаться#1

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
все эти свертки дея...
источник
12:20пожаловаться#2

NI

Nick Ivanych in Теория категорий
Про T-алгебры конструкция свободной алгебры — T (T x) → T x, которая, очевидна, T-алгебра.
Где именно там пробелы?
В доказательстве?
источник
12:21пожаловаться#3

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Про T-алгебры конструкция свободной алгебры — T (T x) → T x, которая, очевидна, T-алгебра.
Где именно там пробелы?
В доказательстве?
сопряжения
источник
12:21пожаловаться#4

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
сопряжения
В одну сторону (забывающий функтор из T-алгебр в 'несущую' категорию) понятен, так?
В другую сторону непонятно, почему это конструкция, которая из x делает T (T x) → x будет функтором, как она на стрелки работает, так?
источник
12:23пожаловаться#5

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
В одну сторону (забывающий функтор из T-алгебр в 'несущую' категорию) понятен, так?
В другую сторону непонятно, почему это конструкция, которая из x делает T (T x) → x будет функтором, как она на стрелки работает, так?
забываюший понятен
источник
12:23пожаловаться#6

к

кана in Теория категорий
раньше тут все было так просто и понятно
источник
12:23пожаловаться#7

NI

Nick Ivanych in Теория категорий
Но сейчас... Я пришёл и всё запутал ;-)
источник
12:25пожаловаться#8

к

кана in Теория категорий
появилось у меня мнение, что для теорката желательно иметь крепкую алгебраическую основу, чтобы натягивать монады на кольца, а не на списки в хаскеле
источник
12:25пожаловаться#9

NI

Nick Ivanych in Теория категорий
В основном, это желательно потому, что категорных текстов "про алгебру" намного больше.
А так — похрен. Надо только примеров подыскивать.
источник
12:26пожаловаться#10

NI

Nick Ivanych in Теория категорий
Ну и в общем, конечно, желательно осмотреть предмет с нескольких сторон.
источник
12:26пожаловаться#11

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
В одну сторону (забывающий функтор из T-алгебр в 'несущую' категорию) понятен, так?
В другую сторону непонятно, почему это конструкция, которая из x делает T (T x) → x будет функтором, как она на стрелки работает, так?
так что со вторым?)
источник
12:28пожаловаться#12

к

кана in Теория категорий
дело в том, что я вижу некоторые общие термины с теорией групп, которая вроде как базовая в современной алгебре, типа ядер, и считается, что ядра в категорях - обобщение ядер в группах
но я этого совсем не вижу, хоть "изучал" (смотрел две лекции для школьников) теорию групп ровно до этих ядер
источник
12:29пожаловаться#13

NI

Nick Ivanych in Теория категорий
Ну и про хаскель тоже, даже если взять подмножество, которое точно будет категорией Hask, то оно довольно-таки специфичное, надо скзаать.
Мооожет быть, какое-то приближение к обычному через классы типов (т.е., можно делать функторы, работающие с какими-то "областями"), но всё это изврат.
В реальном  применении, надо очень так отдавать себе отчёт, что хаскелёвая категория ну вот такая особенная.
источник
12:29пожаловаться#14

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
так что со вторым?)
Ну так он у Маклейна указан, этот функтор.
И я его повторил два раза!
источник
12:29пожаловаться#15

к

кана in Теория категорий
и вот невидинье этого общего усложняет понимание, так как не могу увидеть пример
источник
12:29пожаловаться#16

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
так что со вторым?)
Я уже указал 166 страницу с начала.
Там достаточно ясно объяснено.
Да, предположительно, читатель сам должен сообразить, как именно оно работает на стрелках категории.
Но тут не вижу никакой сложности.
источник
12:30пожаловаться#17

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
Nick Ivanych
Я уже указал 166 страницу с начала.
Там достаточно ясно объяснено.
Да, предположительно, читатель сам должен сообразить, как именно оно работает на стрелках категории.
Но тут не вижу никакой сложности.
книга для работающего математика или как-то так?
источник
12:31пожаловаться#18

NI

Nick Ivanych in Теория категорий
Да. Наверное, можно сюда кинуть.
источник
12:31пожаловаться#19

к

кана in Теория категорий
недавно у меня возникла мысль, что эндофункторы как-то связаны с фракталами
источник
12:31пожаловаться#20