monomorphism

(Definition)

Definition 0.1

A morphism f : A → B is a monomorphism, if for any two morphisms g,h : C → A the equality f ∘ g = f ∘ h implies h = g.

"monomorphism" is owned by bci1.
(view preamble)

Other names:

injection, injective map

Keywords:

monomorphism

There are 16 references to this object.

This is version 3 of monomorphism, born on 2010-11-01, modified 2010-11-01.
Object id is 891, canonical name is Monomorphism.
Accessed 2732 times total.

Classification:

Physics Classification:

00. (GENERAL)

Pending Errata and Addenda

None.

Discussion

No messages.