ОБРАЗ МОРФИЗМА категории - понятие, аналогичное понятию образа отображения одного множества в другое. Однако в ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Виноградов И.М. Математическая энциклопедия Том 3


ОБРАЗ МОРФИЗМА категории - понятие, аналогичное понятию образа отображения одного множества в другое. Однако в теории категорий существует несколько подходов к определению этого понятия. Наиболее простой подход тесно связан с понятием би-категарии. Пусть в категории Я1 существует бикатегорная структура J. J объекта S, определяемый мономорфизмом и. Если в ff имеется единственная бикатегорная структура, то можно говорить об О. В частности, в категориях множеств, групп, векторных пространств над нек-рым полем сформулированное определение приводит к обычному понятию образа отображения или гомоморфизма.

(cкачать страницу)

Смотреть книгу на libgen

ОБРАЗ МОРФИЗМА категории - понятие, аналогичное понятию образа отображения одного множества в другое. Однако в теории категорий существует несколько подходов к определению этого понятия. Наиболее простой подход тесно связан с понятием би-категарии. Пусть в категории Я1 существует бикатегорная структура J. J объекта S, определяемый мономорфизмом и. Если в ff имеется единственная бикатегорная структура, то можно говорить об О. В частности, в категориях множеств, групп, векторных пространств над нек-рым полем сформулированное определение приводит к обычному понятию образа отображения или гомоморфизма.