Monomorphism classes, injective envelopes Categories in geometry and topology mathematics