Size: a a a

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

2018 April 05

NI

Nick Ivanych in Теория категорий
Маклейн хороший и правильный.
Но основывается на предположениях, что у читателя уже некоторые знания есть.
На основе Маклейна можно очень неплохо сделать.
Какие-то объяснения чуток больше расжевать, примеры другие придумать...
источник

VY

Vasiliy Yorkin in Теория категорий
источник

VY

Vasiliy Yorkin in Теория категорий
я правильно понимаю, что вот так? (сверху мои каракули пририсованы и я забыл стрелку одну еще)
источник

VY

Vasiliy Yorkin in Теория категорий
источник

VY

Vasiliy Yorkin in Теория категорий
честно говоря я запутался начиная вот остюда
источник

VY

Vasiliy Yorkin in Теория категорий
источник

Oℕ

Oleg ℕizhnik in Теория категорий
не, из Лимита не надо рисовать стрелок
источник

VY

Vasiliy Yorkin in Теория категорий
а из лимита не мое)
источник

DM

Daniel Matveev in Теория категорий
Oleg ℕizhnik
не, из Лимита не надо рисовать стрелок
там же на диаграмму стрелки
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Daniel Matveev
там же на диаграмму стрелки
аааа я подумал, там ещё один конус
источник

DM

Daniel Matveev in Теория категорий
судя по кисти художника, это опять Бартош)
источник

Oℕ

Oleg ℕizhnik in Теория категорий
переводчик путается переводя то "трансформаци", то "преобразование" в соседних предложениях
источник

DM

Daniel Matveev in Теория категорий
по-русски что-то мне тяжело далось прочтение
источник

VY

Vasiliy Yorkin in Теория категорий
То есть я перестал понимать на месте, где он коммутативность заменяет условием естественности
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Vasiliy Yorkin
То есть я перестал понимать на месте, где он коммутативность заменяет условием естественности
а ты перечитай определение естественности
источник

DM

Daniel Matveev in Теория категорий
Vasiliy Yorkin
То есть я перестал понимать на месте, где он коммутативность заменяет условием естественности
на всякий уточню, а как вы поняли комутативность?
здесь имеется ввиду что стрелки комутируют
источник

Oℕ

Oleg ℕizhnik in Теория категорий
и вспомни, что в случае константного функтора будет в роли объектв в верхей части квадратика
источник

Oℕ

Oleg ℕizhnik in Теория категорий
он схлопывается в треугольник и вуаля - ты получаешь кучу коммутирующих треугольников
источник

VY

Vasiliy Yorkin in Теория категорий
спасибо, сейчас помедитирую маленько над этим (и чуть позже отвечу) есть возможность это все изучать пока обычно только в дороге с большими перерывами. Если появится какая-то группа, начинающая с азов (что бы это ни значило), то я бы хотел присоединиться (и помочь чем-то, чем смогу)
источник

Oℕ

Oleg ℕizhnik in Теория категорий
но факторизующий морфизм - это не часть этой "пирамидки".
просто имея морфизм в вершину пирамидки ты можешь получить ещё одну пирамидку
А факторизация значит, что ты можешь вынести этот морфизм за скобки.
источник