13 Nov
2009
13 Nov
'09
9:24 a.m.
Selon Colin McLarty <colin.mclarty@case.edu>:
2009/11/12 <Andre.Rodin@ens.fr>:
writes
ETCS is the formal basis of CCAF.
I did NOT write this. I wrote "ETC is the formal basis of CCAF", please check my message. By ETC I mean the Elementary Theory of Categories. (You might take my ETC for a typo perhaps.) best Andrei [For admin and other information see: http://www.mta.ca/~cat-dist/ ]