Телеграмм чат группы ru_catheory страница 65

parrot.ru

Рейтинг популярных групп и каналов

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

1
«
…
‹
60
61
62
63
64
65
66
›
…
»

2018 March 11

OP

Oleg Prutz in Теория категорий

Короче, дальше я нарисовал такое

воу воу я увидел эти диаграммы в ncatlab
это имеет отношение к lifting property и категории стрелок
где можно об этом наиболее безболезненно узнать?

источник

23:01пожаловаться #1

к

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

легко можно проверить себя
Если на важен только факт, то вот такое понятие
https://en.m.wikipedia.org/wiki/Commutative_diagram
Или такое https://ncatlab.org/nlab/show/locally+small+category
Теряют смысл

Commutative diagram

In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the same result. It is said that commutative diagrams play the role in category theory that equations play in algebra (see Barr & Wells (2002, Section 1.7)).

про cummative diagram - все так и есть, я был уверен что все диаграммы кумматитивны кроме тех случаев, когда мы начинаем натягивать на категорию теорию и получаем свойство различать "внутренность" объектов

источник

23:02пожаловаться #2

Oℕ

Oleg ℕizhnik in Теория категорий

тут смотри какое дело, мой строго типизованный мозг не может принять тот факт, что F принимает и объекты, и стрелки, и отдает при этом тоже объекты или стрелки

Это просто синтаксическое соглашение. Конечно же функтор это довольно большой кортеж разных трансформаций, куда входит и мэппинг объектов и мэппинг морфизмов. Просто мы обычно знаем, что выбиратт

источник

23:05пожаловаться #3

λ

λoλzod in Теория категорий

про cummative diagram - все так и есть, я был уверен что все диаграммы кумматитивны кроме тех случаев, когда мы начинаем натягивать на категорию теорию и получаем свойство различать "внутренность" объектов

в строгом смысле объекты атомарны, во всех доказательствах конечно же никто внутрь не заглядывает.
внутрь заглядывают только для вырботки понимания

источник

23:07пожаловаться #4

λ

λoλzod in Теория категорий

и вроде есть в этом чатике кто против выработки такого понимания))

источник

23:09пожаловаться #5

Oℕ

Oleg ℕizhnik in Теория категорий

тут смотри какое дело, мой строго типизованный мозг не может принять тот факт, что F принимает и объекты, и стрелки, и отдает при этом тоже объекты или стрелки

но если твой строго-типизированный мозг вместил кметтовские линзы, он легко вместит общий концепт сильно-полиморфмной функции, которая упаковала в себя несколько функций

источник

23:09пожаловаться #6

OP

Oleg Prutz in Теория категорий

тут смотри какое дело, мой строго типизованный мозг не может принять тот факт, что F принимает и объекты, и стрелки, и отдает при этом тоже объекты или стрелки

может потому что ты считаешь и объекты и стрелки типами (т.е. чем-то равноправным)?
в категориях есть отдельно множества стрелок, а отдельно экспоненциальные объекты, и они вроде соответствуют друг другу

источник

23:11пожаловаться #7

Oℕ

Oleg ℕizhnik in Теория категорий

в строгом смысле объекты атомарны, во всех доказательствах конечно же никто внутрь не заглядывает.
внутрь заглядывают только для вырботки понимания

заглядывают, коль скоро эти объекты формировали сами

источник

23:11пожаловаться #8

λ

λoλzod in Теория категорий

ну да, я имею в виду Hask. мне нравится оставаться внутри него пока)

источник

23:12пожаловаться #9

λ

λoλzod in Теория категорий

возможно, если шагну куда-нибудь в сторону, всё станет плохо

источник

23:12пожаловаться #10

Oℕ

Oleg ℕizhnik in Теория категорий

ну да, я имею в виду Hask. мне нравится оставаться внутри него пока)

но ведь общеизвестно, что Hask - это не категория

источник

23:13пожаловаться #11

λ

λoλzod in Теория категорий

с поправкой Бартоша)

источник

23:14пожаловаться #12

Oℕ

Oleg ℕizhnik in Теория категорий

с поправкой Бартоша)

Бартош сумел поправит Hask?

источник

23:15пожаловаться #13

λ

λoλzod in Теория категорий

ну для скромных потребностей начального изучения мне кажется он неплохо не ней всё объясняет, все время поправляясь про Bottom

источник

23:17пожаловаться #14

Oℕ

Oleg ℕizhnik in Теория категорий

ну для скромных потребностей начального изучения мне кажется он неплохо не ней всё объясняет, все время поправляясь про Bottom

Ну не объясняет он всё на ней. Когда есть возможность привести пример - приводит.

источник

23:19пожаловаться #15

λ

λoλzod in Теория категорий

Хорошо, предлагаю договориться на Set)

источник

23:19пожаловаться #16

Oℕ

Oleg ℕizhnik in Теория категорий

Хорошо, предлагаю договориться на Set)

Она даже меньше, чем Hask

источник

23:20пожаловаться #17

λ

λoλzod in Теория категорий

тогда я уже на краю того что прочитал пока, и попробую ответить на эти реплики через месяцок)

источник

23:21пожаловаться #18

λ

λoλzod in Теория категорий

надо было предлагать Cat

источник

23:22пожаловаться #19

AG

Alex Gryzlov in Теория категорий

возможно, если шагну куда-нибудь в сторону, всё станет плохо

перекатывайся в Vect :)

источник

23:25пожаловаться #20

1
«
…
‹
60
61
62
63
64
65
66
›
…
»