Four-object strong nonregular monomorphism
ID: four-object-strong-nonregular-monomorphism
Take four distinct objects and six nonidentity arrows , , , , , with and . These and identities are all morphisms. The only nonidentity epimorphisms have target , which admits no arrow to , so every lifting square against either has an identity left side or does not exist. Thus is a strong monomorphism. It is not a regular monomorphism: equalizes but cannot factor through , and an identical pair has as equalizer. Every strong nonregular monomorphism in any category occurs as the image of under a faithful functor from this category. Indeed, such a monomorphism is not epic, so choose distinct agreeing on it; failure of its equalizer property then supplies .
New to topics? Read the docs here!