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