Changes

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.

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)