Definition talk:Morphism

Don't know if it'd be better to have definition pages for the domain, codomain, identity morphism and composition in category theory, or incorporate the category theoretic stuff into existing pages. --Linus44 09:26, 13 May 2011 (CDT)

Propose what's there now:
 * Mention domain and codomain in the existing pages
 * Identity and composition have redirect pages, since they're axioms, and there's no single page for mappings + relations to add them to --Linus44 10:11, 13 May 2011 (CDT)