Dear Colin, 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.
I love the equality symbol more than an isomorphism symbol, and an isomorphism symbol more than an equivalence symbol. I always try to use the equality symbol whenever possible. I often use the equality symbol for a canonical isomorphism. Is there a special symbol for canonical isomorphism? (as oppose to a plain isomorphism). I would love to write something like A times (B times C) =' (A times B) times C André -------- Message d'origine-------- De: categories@mta.ca de la part de Colin McLarty Date: dim. 23/05/2010 11:39 À: categories@mta.ca Objet : categories: Re: terminology I have very much appreciated André's subtlety on this issue in conversation ... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]