Definition talk:Category

There are many references to Domain, Codomain, Morphism, Object, etc. which already have pages set up for them in the context of set theory and abstract algebra. These pages need to be linked to (partly done) and then added to (to put the category-specific information in there) and then the alternative notation expounded upon. This is work in progress but I'm probably not in a position to do it myself, all I know about category theory is one book I read and what's on Wikipedia. --prime mover 00:41, 17 February 2011 (CST)

I'll write what I can, my hesitation is that I'm used to categorical language, but until now hadn't considered how to formalise Classes. MacLane describes several different approaches quite clearly so I'll probably follow him. I'll work on the related pages once this page and Def:Class are written Linus44 05:11, 17 February 2011 (CST)