Hardly Groupoids and Internal Categories in Gumm Categories
摘要
Under the name of hardly groupoid, we investigate the (internal) categories in which any morphism is both monomorphic and epimorphic. It is the case for any internal category in a congruence modular variety. In the more general context of Gumm categories, we explore the large diversity of situation determined by this notion.