Equality again

["Joyal, André" <joyal.andre@uqam.ca>]

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/ ]