20 Oct
2011
20 Oct
'11
10:08 p.m.
Perhaps the example I learned from Dominic Verity that I gave in my CT 1995 Halifax talk will suffice for this. Using strings, we derive a model for the free monoidal category containing a cointerval. Cubical sets are functors from this to Set.
Further to my last message: That CT1995 talk was very much part of a three-man show: Street, Verity, Trimble. In particular, for the example I am referring to above, the original combinatorial model came from Verity, the string derivation of the model was Trimble, and all I did was draw the diagrams using MacDraw. Apparently there is material on this example in the nLab http://nlab.mathforge.org/nlab/show/cube+category Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]