Size: a a a

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

2019 December 18

AZ

Alex Zhukovsky in Теория категорий
работает значит что он отображает морфизмы так, что раньше они вели из А в разные объекты, а начали вести в один
источник

A

Andrey in Теория категорий
нет, он не это делает
источник

EP

Emelian Piker (Евгений) in Теория категорий
Alex Zhukovsky
Я правильно понял что эквалайзер так работает или опять напутал?
Нет "unique morphism"
источник

МБ

Михаил Бахтерев in Теория категорий
Нет. Он не отображает. Это просто конструкция, которая строится по двум параллельным морфизмам (то есть, у них начала и концы уже совпадают).
источник

EP

Emelian Piker (Евгений) in Теория категорий
Alex Zhukovsky
Я правильно понял что эквалайзер так работает или опять напутал?
Мономорфизм както не чётко видно
источник

AZ

Alex Zhukovsky in Теория категорий
Михаил Бахтерев
Нет. Он не отображает. Это просто конструкция, которая строится по двум параллельным морфизмам (то есть, у них начала и концы уже совпадают).
если они уже совпадают то что он делает?
источник

A

Andrey in Теория категорий
Emelian Piker (Евгений)
почему тут мономорфизмы отождествляются с инъекциями?
источник

МБ

Михаил Бахтерев in Теория категорий
Alex Zhukovsky
если они уже совпадают то что он делает?
Сами морфизмы уравнивает. Совпадение концов не означает совпадение стрелок.
источник

EP

Emelian Piker (Евгений) in Теория категорий
Смысл в том что морфизм u является unique, это две большие разницы
источник

AZ

Alex Zhukovsky in Теория категорий
Михаил Бахтерев
Сами морфизмы уравнивает. Совпадение концов не означает совпадение стрелок.
понятно, спасибо
источник

МБ

Михаил Бахтерев in Теория категорий
https://ncatlab.org/nlab/show/equalizer - написано относительно понятно.
источник

{

{_} in Теория категорий
Проще один раз понять определение предела и копредела
источник

EP

Emelian Piker (Евгений) in Теория категорий
Andrey
почему тут мономорфизмы отождествляются с инъекциями?
Потому что инъекции отождествлять с морфизмами это не корректно с точки зрения движения от конкретики к абстракции, а вот взять абстракцию и привести пример как раз нет проблем
источник

A

Andrey in Теория категорий
Emelian Piker (Евгений)
Потому что инъекции отождествлять с морфизмами это не корректно с точки зрения движения от конкретики к абстракции, а вот взять абстракцию и привести пример как раз нет проблем
На пикче это не выглядит как пример. Может, например, сложиться впечатление, что изоморфизмы это все то, что одновременно и моно- и эпиморфизмы, но это не так
источник

EP

Emelian Piker (Евгений) in Теория категорий
Andrey
На пикче это не выглядит как пример. Может, например, сложиться впечатление, что изоморфизмы это все то, что одновременно и моно- и эпиморфизмы, но это не так
Да наверное, но я сразу понял что это именно пример
источник

EP

Emelian Piker (Евгений) in Теория категорий
Наверное есть картинка получше, былобы интересно
источник

AZ

Alex Zhukovsky in Теория категорий
{_}
Проще один раз понять определение предела и копредела
а откуда думаете я картинку взял?
источник

AZ

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

EP

Emelian Piker (Евгений) in Теория категорий
Alex Zhukovsky
а откуда думаете я картинку взял?
Слайды какието, или просто рисунок
источник

AZ

Alex Zhukovsky in Теория категорий
Emelian Piker (Евгений)
Слайды какието, или просто рисунок
ну я вот читаю, нарисовал как понял (неправильно), теперь понял правильно. Про эквалайзер,

А про лимиты перечитал, автор сделал прыжок в аджоинты и я понимать сразу перестал
источник