We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
An arrow with a hooked tail, an injection.
Also known as: Injection arrow, Hooked arrow, Inclusion arrow, Monic arrow
The hook on the tail says the map is injective — distinct things stay distinct — and in practice it usually marks an inclusion of a subobject. It is a claim about the map that the reader would otherwise have to be told in prose.
Denotes a monomorphism: a map that is injective, or its categorical generalisation.
Contexts: Mathematics
Is used in most texts specifically for an inclusion of a subobject, which is the commonest kind of monomorphism.
Contexts: Mathematics
A horizontal stroke whose left end curves down and back in a small hook, ending right in an arrowhead.