Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  1. I’m looking for references on the structure which can be roughtly described as follows: given a (braided? symmetric?) monoidal category CC, I want to consider a simplicial set N(BC)N(\mathbf{B}C) with a single vertex, an edge for every object of CC, a triangle with edges X,Y,ZX,Y,Z for every morphism phi:ZXYphi:Z\to X\otimes Y, a tethraedron for every four triangles making up a commutative diagram involving the associator of CC, higher coherences..

    Any suggestion? thanks

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeAug 10th 2010

    There is a long description of this in http://www.tac.mta.ca/tac/volumes/9/n10/9-10abs.html. The point is to note that you are looking at CC as a bicategory, then the Duskin nerve in that case is very fully studied. There are other ways some of which are mentioned the lab entry: http://ncatlab.org/nlab/show/nerve#nerve_of_a_2category_19.

    Generally nerves of omega cats are useful here.

    If your CC is strict then it corresponds to a 2-cat and hence a S-cat (simplicially enriched cat) and you can use the homotopy coherent nerve construction. That can be useful as a means of thinking about interpretations of the maps. There is some discussion on various aspects of this somewhere in the Menagerie. For instance simplicial morphisms between these things corresponds to lax functors, etc. There are some references there, but if Duskin does not give you what you need get back to me and I will dig some more exact links out!

  2. Thanks Tim.

    I’m interested in this kind of structure since it seems to lie hidden in the definition of Turaev-Viro 3-manifold invariants.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeAug 10th 2010

    In what way? In the stuff I did on TQFTs I was using crossed modules and those are (small) categorical groups so I have always felt that the same stuff should generalise to nice enough monoidal categories. I did not know enough about Tureav-Viro at the time and then got diverted by Turaev’s HQFTs. (I find that Turaev sometimes writes clearly and beautifully and on other occasions I do not see why he is emphasising some point that to me seems more or less trivial.)

  3. Don’t know exactly, I just happened to meet the definition of Turaev-Viro inavriants yesterday.. :)

    But there it seems one has a triangulation of a 3-manifold and decorates it with an irreducible representation of SU(2)SU(2) (or rather, a quantum version of this) on edges, in such a way that the 2-simplices one obtains are “admissible” (which seems to amount to saying that, if one calls V i,V jV_i,V_j and V kV_k the three representations involved, then there is a nontrivial morphism V kV iV jV_k\to V_i\otimes V_j, i.e., V kV_k appears in the decomposition of V iV jV_i\otimes V_j in irreducible representations), and to 3-simplices are associated (quantum) 6-jj symbols. So I was trying to figure out whch could be a nice general setting for this construction.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeAug 10th 2010

    Have a look at what I did for the TQFTs with a crossed module as ’coefficients’. That was based on Yetter’s earlier paper. A version of some of that was added to the Menagerie but is not in the version available on the nLab yet as I have not finished the TQFT section. In fact I have not worked on it for 4 months as my visit to Lyon pushed me into other equally interesting areas.