Мономорфизм
- Мономорфизм — отображение, которое является инъективным и сюръективным одновременно.
- В топосе каждая моно-карта является эквалайзером, а изоморфизм является моническим.
- Существуют понятия регулярного мономорфизма, экстремального мономорфизма, непосредственного мономорфизма, сильного мономорфизма и расщепленного мономорфизма.
- Терминология «мономорфизм» и «эпиморфизм» была введена Николасом Бурбаки.
- Ранние теоретики категорий полагали, что правильным обобщением является свойство отмены.
- Сондерс Мак Лейн пытался провести различие между мономорфизмами, основанными на отображениях множеств, и моническими отображениями в категориальном смысле.
Полный текст статьи: