Skip to main content
6 events
when toggle format what by license comment
Jun 6, 2011 at 7:00 comment added Tim Porter @Alan A homotopy coherent (hc) version of these ideas is obtained using the idea that the 'diagrams' used have to be hc, but a hc square does have the diagonal in it. (See page 366 of the version of the crossed menagerie (available from the n-Lab page of that name).) This use of the diagonal allows both conventions, but still hits a problem as it has to make a choice of `diagonal towards the sides' as against 'sides towards diagonal'. There are papers back in the 1980s(?) by Cordier and myself that take this apart. (It is also discussed in Kamps and Porter's book. (blatant advertisement. :-))
Jun 5, 2011 at 19:49 comment added Alan Wilder @Martin: I'm not sure what you mean by the middle paragraph, but assuming you meant a(j)o F(g)=>G(g)o a(j), you actually do have this data on both sides. Clearly it is part of the natural transformation data, and for a p.functor $h:J\times [1]\to C$, this isomorphism is produced by applying the compositors of $h$ to the equal factorizations [ (j'\to j,\text{id}_1)\circ (\text{id}_j, 0\to 1) = (\text{id}_{j'},0\to 1)\circ (j'\to j, \text{id}_0) ] in the middle we have $h(j'\to j,0\to 1)$, which is the datum that has no counterpart on the p.natural transformation side
Jun 5, 2011 at 19:49 history edited Martin Brandenburg CC BY-SA 3.0
edited body
Jun 5, 2011 at 18:11 comment added Alan Wilder Thanks, Tim, can you go into more detail please?
Jun 5, 2011 at 16:26 comment added Tim Porter The problem you identify is one of direction of the 2-arrow. I used to work with homotopy coherence and in its simplicial manifestation that gets around the problem by asking for both directions! There are still problems with the directions but they are resolved by the initial structures of the homotopy coherent nerve construction. (I can go into more detail if you want, but this is a comment not an answer.)
Jun 5, 2011 at 14:38 history answered Martin Brandenburg CC BY-SA 3.0