БИМОРФИЗМ

Расстановка ударений: БИМОРФИ`ЗМ

БИМОРФИЗМ, биективный морфизм в категории, - одно из теоретико-категорных обобщений понятия биективного отображения множеств. Морфизм и в категории С наз. Б., если он одновременно является мономорфизмом и эпиморфизмом в С. Произведение Б. есть Б., то есть Б. образуют подкатегорию, содержащую все изоморфизмы. В категориях множеств, групп всякий Б. является изоморфизмом. Однако уже в категориях колец, топологических пространств или абелевых групп без кручения существуют Б., не являющиеся изоморфизмами.

И. В. Долгачев, М. Ш. Цаленко.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.