[Note from moderator: Late last week the listserv software used by the categories list experienced an outage just now resolved, whence the flurry of messages from the list, for which I apologize. This should be the last. I also suggest that this thread should end soon. ] On 05/11/16 16:04, Joyal, Andr? wrote:
I am considering using the word "logos" instead of "elementary topos". The word "logos" has seldom been used in mathematics. It is a noble word in philosophy where it means: reason, discourse, logic, knowledge, principle of order.
The idea is actually very good, but I'm afraid it comes 40 years too late. It seems to me that at this point it would only dramatically increase terminological chaos... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]