equality is beautiful

Dear All Many people seem to distrust the equality relation between the objects of a (large) category. Is this a philosophical conundrum or a mathematical problem? Can we define a notion of (large) category without supposing that its (large) set of objects has a diagonal? Best, André [For admin and other information see: http://www.mta.ca/~cat-dist/ ]