Talk:Abstract Algebra/Category theory

I find it quite surprising that an incorrect definition has survived for the entire lifetime of this document. Of course the supposed function $$ c: C_1 \times C_1 \rightarrow C_1$$ is not a function at all, since it is not well-defined. It was only mentioned later that a pair of maps may only be composed if the source of one is the desination of the other, belying the definition of c. Elroch 16:29, 21 January 2006 (UTC)