Математическая энциклопедия - биморфизм

биективный морфизм в категории,одно из теоретико-категорных обобщений понятия биективного отображения множеств.

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985