 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.