Wikipedia Talk:Morphism

Request for arrow decorations

I don't know much category theory, but having been given a few
diagrams to chase, I've found out that monomorphisms are written as
arrows with a hook (\252), epimorphisms are written with double-headed
arrows (\240), and isomorphisms are written with double arrows (=>).
Furthermore, the algebraists who use these things consider them so
standard that the usage isn't glossed in a typical article.  It would
be really nice if this usage (and any other ways that convey the same
information) were described on the morphism page, and were used in
Category theory and Commutative diagram articles.

I'm thinking of scattering some pointers to this request around,
unless there is a better way of accomplishing it.  I also don't
know how this is best accomplished in text (as above), where
the use of various browsers that don't support Unicode must
be taken into account.  I didn't see anything in WP:MSM or
Wikipedia:Mathematical_symbols that suggests ways of accomplishing
this.  Still, I'm mostly concerned with the commutative diagrams,
where I've had one of those "working mathematician disappointed by
wikipedia" moments.  Perhaps if I were less averse to m*thw*rld I
would have found it easier.  -Dan Hoey 13:51, 22 May 2007 (UTC)