Re: terminology

Dear Colin, dear all, you wrote:

It is an interesting impulse in higher category theory to avoid identity in favor of isomorphism on the level of objects, and to avoid isomorphism in favor of equivalence on the level of categories. But so far as I know no one has yet articulated a way to avoid ever using identity of objects and identity of categories.

As far as I remember I listened to a talk by a logician called H. Preller in the seventies. She developed a language for categories, which did not contain the identity of objects. Greetings Reinhard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]