Re: Evil in bicategories

[JeanBenabou <jean.benabou@wanadoo.fr>]

Dear  all,

Although I'm not a very "religious" person, I respect all religions,  
and I also deeply respect, of course, Category Theory. I hope someone  
will answer the following question:

Is Category Theory a religion?

As far as I know, it is the only part of mathematics (or of many  
other sciences) where words such as "dogma", "doctrine" (let alone  
hyper ones) are used. Recently a few other words with the same  
religious connotation have been added.
The most frequent one being "evil"

Maybe my english isn't so "beautiful", but in all cases where "evil"  
has been used, what is wrong with "wrong" instead?


Le 11 sept. 10 à 04:05, David Leduc a écrit :

>
> In a bicategory, composition of 1-cells is associative up to
> isomorphism. Because it would be evil to insist that h o (g o f) is
> equal to (h o g) o f. However the source and target objects of those
> compositions must be equal. Isn't it evil? Why not weaken this
> requirement by saying that the sources (respectively, targets) of h o
> (g o f) and (h o g) o f must only be isomorphic?
>





[For admin and other information see: http://www.mta.ca/~cat-dist/ ]