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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

DA

Deleted Account in Теория категорий
Тогда стрелка клейсли сначала переводит объект и морфизм в другую категорию,  потом применяет. Либо сначала применяет потом переводит результат
источник
20:05пожаловаться#1

Oℕ

Oleg ℕizhnik in Теория категорий
У нас нет "других категорий" в этом построении.
Единственная другая категория - это сама категория клеисли
источник
20:06пожаловаться#2

DA

Deleted Account in Теория категорий
но изначально есть две категории С и List[C]
источник
20:06пожаловаться#3

Oℕ

Oleg ℕizhnik in Теория категорий
У вас есть
категория C,
Монада F: C -> C
источник
20:06пожаловаться#4

Oℕ

Oleg ℕizhnik in Теория категорий
Deleted Account
но изначально есть две категории С и List[C]
Рекомендую ознакомиться с понятиями функтора и эндофунктора
источник
20:07пожаловаться#5

KV

Kirill Valyavin in Теория категорий
В категории C и соответствующей ей категории Клейсли классы объектов совпадают
источник
20:07пожаловаться#6

Oℕ

Oleg ℕizhnik in Теория категорий
List[C] - это не другая категория
источник
20:07пожаловаться#7

DA

Deleted Account in Теория категорий
пусть будет не List а Maybe
источник
20:07пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Неважно
источник
20:07пожаловаться#9

Oℕ

Oleg ℕizhnik in Теория категорий
Оба это эндофункторы, они переводят категорию в саму себя
источник
20:08пожаловаться#10

DA

Deleted Account in Теория категорий
то есть и A и List[A] это обхекты одной категории Клейсли?
источник
20:09пожаловаться#11

Oℕ

Oleg ℕizhnik in Теория категорий
Т.е. если объект a из категории C,
F(a) тоже из категории С
Если морфизм f: C(a, b) то морфизм F(f) : C(F(a), F(b)), т.е. в той же категории
источник
20:09пожаловаться#12

Oℕ

Oleg ℕizhnik in Теория категорий
Deleted Account
то есть и A и List[A] это обхекты одной категории Клейсли?
Это объекты одной категории Hask, и полученной из неё клеисли тоже
источник
20:10пожаловаться#13

Oℕ

Oleg ℕizhnik in Теория категорий
У клеисли и Hask одни и те же объекты
источник
20:10пожаловаться#14

Oℕ

Oleg ℕizhnik in Теория категорий
Типы
источник
20:10пожаловаться#15

Oℕ

Oleg ℕizhnik in Теория категорий
Любой habitable тип (:: Type) - это объект как Hask, так и любой категории клеисли, которая будет получена на основе Hask
источник
20:11пожаловаться#16

Oℕ

Oleg ℕizhnik in Теория категорий
Если F - это не эндо- функтор, монадой в популярном опредедении  он быть не может
источник
20:13пожаловаться#17

Oℕ

Oleg ℕizhnik in Теория категорий
Только в чуть менее популярном
источник
20:14пожаловаться#18
2019 June 09

C

Combot in Теория категорий
Alert! above Bod is a known spammer and is CAS banned. Ban is strongly recommended.
источник
22:05пожаловаться#19
2019 June 10

{

{_} in Теория категорий
Является ли тензорное произведение(пусть R-модулей) свободным объектом в какой-нибудь категории?
источник
11:14пожаловаться#20