1 Sep
2010
1 Sep
'10
7:32 a.m.
Is there a definitive definition of omega-categories somewhere in the literature or is it still unknown? Can it be stated in elementary terms
There is a very short (few lines), very elementary (slight variation on Kan filler conditions) definition of what is supposed to be a model for fully general omega-categories by Verity http://ncatlab.org/nlab/show/weak+complicial+set .
i mean in terms of object, arrows, ... without references to simplicial sets
A simplicial set is nothing but a way to collect a bunch of objects, arrows, 2-arrows, etc. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]