Equalizer presentation by powers of a coseparator
ID: equalizer-presentation-by-powers-of-a-coseparator
In a complete category that is a locally small category with a coseparator , suppose every monomorphism is a regular monomorphism. The evaluation embedding , , is an equalizer of some pair into . Composing that pair with the evaluation embedding leaves the equalizer unchanged. Here powers mean products in a category indexed by sets, without assuming an exponential object exists.
New to topics? Read the docs here!