18 Sep
2010
18 Sep
'10
1:48 p.m.
We seem to agree that paying attention to the non-kosher concept is at least very convenient. But what I do not see is a correspondence between kosher and non-kosher versions. If you start with a collection CC of 1-cells in a 2-cat like Cat and close it under equivalences thus obtaining CC' I don't see any way of reconstructing CC from CC' in a canonical way. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]