I'm looking for references on the structure which can be roughtly described as follows: given a (braided or symmetric) monoidal category C, I want to consider a simplicial set N(mathbfBC) with a single vertex, an edge for every object of C, a triangle with edges X,Y,Z for every morphism varphi:ZtoXotimesY, a tethraedron for every four triangles making up a commutative diagram involving the associator of C, higher coherences..
Any suggestion? thanks
No comments:
Post a Comment