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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

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

AZ

Alex Zhukovsky in Теория категорий
тут рекурсивные определения в стиле "морфизмы это стрелки, а стрелки это морфизмы"
источник
11:59пожаловаться#1

Oℕ

Oleg ℕizhnik in Теория категорий
Nick Ivanych
А, во вступлении написано "Для чтения книги нужно шапочное знакомство с понятиями ”группа“, ”свободная группа“ и ”гомоморфизм групп“.
Рекомендую забить, а если что оказалось непонятным, спросить да хоть тут или в алгебраическом чатеге.
это какой?
источник
11:59пожаловаться#2

Oℕ

Oleg ℕizhnik in Теория категорий
Alex Zhukovsky
тут рекурсивные определения в стиле "морфизмы это стрелки, а стрелки это морфизмы"
означают, что это два слова для одного понятия
источник
11:59пожаловаться#3

AZ

Alex Zhukovsky in Теория категорий
Oleg ℕizhnik
означают, что это два слова для одного понятия
понятие-то можно объяснить?
источник
11:59пожаловаться#4

ЕО

Евгений Омельченко in Теория категорий
Alex Zhukovsky
тут рекурсивные определения в стиле "морфизмы это стрелки, а стрелки это морфизмы"
Где, он просто говорит, что это одно и то же
источник
11:59пожаловаться#5

AZ

Alex Zhukovsky in Теория категорий
потому что сначала он рекурсивно его определяет
источник
12:00пожаловаться#6

AZ

Alex Zhukovsky in Теория категорий
а потом использует, хотя я нихрена не понял, что это значит
источник
12:00пожаловаться#7

ЕО

Евгений Омельченко in Теория категорий
Alex Zhukovsky
понятие-то можно объяснить?
Это ж базовое понятие, он его не определяет. Морфизм или стрелка это элемент набора морфизмов просто
источник
12:00пожаловаться#8

Oℕ

Oleg ℕizhnik in Теория категорий
Alex Zhukovsky
понятие-то можно объяснить?
его не нужно понимать, если смог сконструировать что-то, отвечающее определению категории, дальше называешь это стрелками
источник
12:00пожаловаться#9

AZ

Alex Zhukovsky in Теория категорий
например: "производная это предел отношения приращения аргумента к линейной части первой малости приращения функции"
источник
12:00пожаловаться#10

AZ

Alex Zhukovsky in Теория категорий
я знаю что такое предел и приращение, окей, можно идти дальше
источник
12:00пожаловаться#11

AZ

Alex Zhukovsky in Теория категорий
а тут - что это? Как это выражается из уже известных определений? хз
источник
12:01пожаловаться#12

ЕО

Евгений Омельченко in Теория категорий
В аксиоматике Евклида точки и прямые тоже не определяют
источник
12:01пожаловаться#13

AZ

Alex Zhukovsky in Теория категорий
Евгений Омельченко
В аксиоматике Евклида точки и прямые тоже не определяют
прямая - линия, соединяющая две точки
источник
12:01пожаловаться#14

AZ

Alex Zhukovsky in Теория категорий
точки не определяют, но они понятны должны быть интуитивно
источник
12:01пожаловаться#15

ЕО

Евгений Омельченко in Теория категорий
Alex Zhukovsky
прямая - линия, соединяющая две точки
А линия это что такое?
источник
12:01пожаловаться#16

AZ

Alex Zhukovsky in Теория категорий
а категория не такая интуитивная штука, чтобы без объяснений пройтись
источник
12:01пожаловаться#17

AZ

Alex Zhukovsky in Теория категорий
Евгений Омельченко
А линия это что такое?
натяни нитку, вот тебе линия
источник
12:02пожаловаться#18

AZ

Alex Zhukovsky in Теория категорий
вполне понятно на "бытовом" уровне
источник
12:02пожаловаться#19

ЕО

Евгений Омельченко in Теория категорий
Эм? Это не определение
источник
12:02пожаловаться#20