Образ Морфизма
категории - понятие, аналогичное понятию образа отображения одного множества в другое. Однако в теории категорий существует несколько подходов к определению этого понятия. Наиболее простой подход тесно связан с понятием би-категории. Пусть в категории существует бикатегорная структура .....-класс допустимых эпиморфизмов,- класс допустимых мономорфизмов. Если - произвольный морфизм из и - допустимое разложение , т. Е. То подобъект (] объекта В, определяемый мономорфизмом , наз. (допустимым) образом морфизма (относительно заданной бикатегорной структуры). Если в имеется единственная бикатегорная структура, то можно говорить об О. М. В частности, в категориях множеств, групп, векторных пространств над нек-рым полем сформулированное определение приводит к обычному понятию образа отображения или гомоморфизма.
С другой стороны, если в категории существует несколько бикатегорных структур, то один и тот же морфизм может иметь разные образы относительно различных бикатегорных структур. Подобная ситуация имеет место, напр., в категориях топологич. Пространств и ассоциативных колец. Другой подход к определению О. М. Состоит в следующем. Говорят, что морфизм проходит через подобъект (] объекта В, если можно представить в виде . Наименьший подобъект объекта В, через к-рый проходит , наз. Образом . Если категория локально мала слева и в существуют пределы семейств мономорфизмов с общим концом, то каждый морфизм из имеет образ. Если в имеется бикатегорная структура, в к-рой все мономорфизмы допустимы, то второе определенно О.
М. Эквивалентно определению О. М. Относительно указанной бикатегорной структуры. О. М. Обычно обозначается . Через обозначается любой представитель подобъекта М. Ш. Цаленко..
Дополнительный поиск Образ Морфизма
На нашем сайте Вы найдете значение "Образ Морфизма" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Образ Морфизма, различные варианты толкований, скрытый смысл.
Первая буква "О". Общая длина 14 символа