Русская Википедия:Биморфизм

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Биморфи́зм — морфизм категории, являющийся мономорфизмом и эпиморфизмом одновременно, то есть морфизм, на который можно сокращать как слева, так и справа[1], теоретико-категорное обобщение понятия биективного отображения.

Понятие биморфизма самодвойственно. Композиция биморфизмов является биморфизмом, таким образом, для данной категории <math>\mathcal C</math> определена подкатегория <math>\mathrm{Bim}_\mathcal C \subseteq \mathcal C</math>, состоящая из тех же объектов, и содержащая лишь морфизмы, являющиеся биморфизмами.

Любой изоморфизм является биморфизмом, но не любой биморфизм есть изоморфизм. Например, вложение кольца целых чисел в поле рациональных чисел <math>\sigma: \Z \to \Q</math> в категории ассоциативных колец является биморфизмом, при этом необратимым, то есть, изоморфизмом не являющимсяШаблон:Sfn. Если биморфизм <math>\sigma</math> представлен в виде <math>\sigma = \tau \circ \upsilon</math>, то <math>\tau</math> — мономорфизм, а <math>\upsilon</math> — эпиморфизмШаблон:Sfn.

Сбалансированная категория — категория, в которой каждый биморфизм является изоморфизмом[1], таковы, например, категория множеств и категория групп. Категория колец, категория топологических пространств, категория абелевых групп без кручения — несбалансированные.

Примечания

Шаблон:Примечания

Литература