1. матем. категория, в которой специфическим образом выделены подкатегория эпиморфизмов и подкатегория мономорфизмов

Источник: Wiktionary.org