Anodyne morphism in a category (source code)

= Anodyne morphism in a category

In the categorical usage where no model structure is specified, an anodyne morphism may mean a morphism that is both a <monomorphism> and an <epimorphism>. It need not be an isomorphism unless the category is <balanced category>[balanced].