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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

579 membersпожаловаться на группу
2020 February 29

AG

Alex Gryzlov in Теория категорий
буквально на днях пробегал учебник
https://arxiv.org/abs/2002.06055 Johnson, Yau, "2-Dimensional Categories"
источник
16:09пожаловаться#1

Oℕ

Oleg ℕizhnik in Теория категорий
Alex Gryzlov
буквально на днях пробегал учебник
https://arxiv.org/abs/2002.06055 Johnson, Yau, "2-Dimensional Categories"
Спасибо
источник
16:14пожаловаться#2
2020 March 01

AK

Antony Kapranov in Теория категорий
Михаил Бахтерев
Класс - это нестрогое понятие, используют когда хотят говорить о наборах множеств, но не хотят запариваться с доказательством того, что это множество. Sort - строгое, используется для описания... ну... сортов элементов в алгебрах и сигнатур операторов. Это синтаксическое понятие, которое потом, обычно (но не обязательно) моделируется множествами
У класса как и у множества элементы не повторяются или не обязательно?
источник
20:59пожаловаться#3

A

Andrey in Теория категорий
Не повторяются
источник
21:00пожаловаться#4

A

Andrey in Теория категорий
Да, вообще класс это строгое понятие в расширенной теории множеств
источник
21:00пожаловаться#5

AK

Antony Kapranov in Теория категорий
А семейство ≠ класс?
источник
21:02пожаловаться#6

A

Andrey in Теория категорий
Семейство это обычно синоним слова множество, когда хотят подчеркнуть, что его элементы — это тоже множества
источник
21:04пожаловаться#7

A

Andrey in Теория категорий
Например, "семейство подмножеств натуральных чисел"
источник
21:04пожаловаться#8

A

Andrey in Теория категорий
Формально в теории множеств вообще элементы любых множеств — это множества, но обычно про число 2.5 никто не говорит, как про множество
источник
21:05пожаловаться#9

AK

Antony Kapranov in Теория категорий
Спасибо!
источник
21:06пожаловаться#10

МБ

Михаил Бахтерев in Теория категорий
Andrey
Да, вообще класс это строгое понятие в расширенной теории множеств
А в классах можно рассуждать о равенствах членов класса?
источник
21:09пожаловаться#11

A

Andrey in Теория категорий
Михаил Бахтерев
А в классах можно рассуждать о равенствах членов класса?
Ну, классически от элементов класса требуют, чтобы они были именно множествами, так что проблем никаких с этим нет
источник
21:11пожаловаться#12

A

Andrey in Теория категорий
Множества A и B равны, когда x∈A равносильно x∈B для любого x
источник
21:12пожаловаться#13

МБ

Михаил Бахтерев in Теория категорий
Andrey
Ну, классически от элементов класса требуют, чтобы они были именно множествами, так что проблем никаких с этим нет
Ммм. Интересно. По каким ключевым словам можно нагуглить определения?
источник
21:12пожаловаться#14

ЕО

Евгений Омельченко in Теория категорий
Михаил Бахтерев
Ммм. Интересно. По каким ключевым словам можно нагуглить определения?
Фон Нейман Гёдель Бернайс
источник
21:13пожаловаться#15

A

Andrey in Теория категорий
Евгений Омельченко
Фон Нейман Гёдель Бернайс
Да, я про неё же
источник
21:13пожаловаться#16

МБ

Михаил Бахтерев in Теория категорий
Пасиб!
источник
21:13пожаловаться#17

V

Valery in Теория категорий
https://ncatlab.org/nlab/show/proper+class
источник
21:15пожаловаться#18
2020 March 02

AZ

Alex Zhukovsky in Теория категорий
а чем lax closed functor отличается от обычных?
источник
23:17пожаловаться#19

ЕО

Евгений Омельченко in Теория категорий
Alex Zhukovsky
а чем lax closed functor отличается от обычных?
lax closed от strict closed? Потому что lax это и есть обычные closed :)
источник
23:23пожаловаться#20