Size: a a a

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

2019 December 18

KV

Kirill Valyavin in Теория категорий
Aragaer
а лимит над одним объектом это изоморфизмы внутри объекта?
Видимо, это сам тот объект и будет
источник

A

Andrey in Теория категорий
Aragaer
а лимит над одним объектом это изоморфизмы внутри объекта?
Это просто сам объект
источник

AZ

Alex Zhukovsky in Теория категорий
Лимит диаграммы вида A B (без стрелок) - что такое диаграмма вида А В?
источник

KV

Kirill Valyavin in Теория категорий
Alex Zhukovsky
Лимит диаграммы вида A B (без стрелок) - что такое диаграмма вида А В?
Это диаграмма, в которой есть два объекта, единичные стрелки при них, и больше ничего
источник

AZ

Alex Zhukovsky in Теория категорий
Kirill Valyavin
Это диаграмма, в которой есть два объекта, единичные стрелки при них, и больше ничего
ну разве это не то что я про инт и дабл рассказывал?
источник

KV

Kirill Valyavin in Теория категорий
Alex Zhukovsky
ну разве это не то что я про инт и дабл рассказывал?
Нет, у Вас там ещё какие-то стрелки были лишние
источник

AZ

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

KV

Kirill Valyavin in Теория категорий
Alex Zhukovsky
ну их можно убрать, они погоды не делают вроде
Вот, и тогда уже будет неважно, инты это, даблы, или ещё что-нибудь. Просто объекты, без свойств и содержания
источник

KV

Kirill Valyavin in Теория категорий
Т. е. называть-то их можно как угодно, но смысла в этом нет никакого.
источник

AZ

Alex Zhukovsky in Теория категорий
а в чем смысл диаграмм тогда? Это просто множество объектов
источник

KV

Kirill Valyavin in Теория категорий
Alex Zhukovsky
а в чем смысл диаграмм тогда? Это просто множество объектов
Множество объектов и стрелок, если точнее. А смысл как раз в том, что над диаграммами можно строить конусы, ко-конусы и много всякого другого интересного, а ещё они просто бывают коммутативные, что тоже интересно
источник

AZ

Alex Zhukovsky in Теория категорий
так стрелки мы запретили же. У нас только id остались
источник

A

Aragaer in Теория категорий
диаграммы это как раз точечки и стрелочки, которые ты можешь нарисовать на бумажке
источник

A

Aragaer in Теория категорий
то есть вот если у тебя есть категория, то это одно. А если есть две точки на бумаге, то это диаграмма, которая "соответствует" этой категории
источник

A

Andrey in Теория категорий
Но некоторые большие и их не нарисовать
источник

KV

Kirill Valyavin in Теория категорий
Alex Zhukovsky
так стрелки мы запретили же. У нас только id остались
Я говорил про одну конкретную диаграмму. Вообще-то говоря они могут быть какие угодно. Более того, как только над нашей диаграммой без стрелок мы строим конус, уже получается диаграмма со стрелками
источник

AZ

Alex Zhukovsky in Теория категорий
ну все стрелки будут между категорями же
источник

AZ

Alex Zhukovsky in Теория категорий
а внутри стрелок не будет
источник

AZ

Alex Zhukovsky in Теория категорий
короче, можно скипнуть и идти дальше? Когда лимиты понадобятся я их пойму? Или я не знаю как с этим работать
источник

AZ

Alex Zhukovsky in Теория категорий
на текущий момент понимание призрачное совершенно
источник