348 bytes added
, 16:52, October 1, 2009
I suggest that this be merged with [[Category theory]], which covers essentially the same material. The definition here is also slightly off (at least, if it's supposed to be describing a category in the usual mathematical sense), because we require both objects and morphisms between them. --[[User:MarkGall|MarkGall]] 12:52, 1 October 2009 (EDT)