Did some more unspectacular debugging, and went out to dinner with and some other kids.

Have been thinking a lot lately about the role of simplices in n-category theory. I'm well aware that some definitions of weak n-category depend on them heavily. That seems strange to me, for while the n-simplex clearly is an n-dimensional thingy, and while people have methods of giving "direction" to all the cells, it seems to only be naturally directed along the 1-cells.

That is, if I ask for a map from an n-simplex to an m-simplex, I only need to talk about conditions on how you map the vertices to one another, (i.e. an order-preserving function from the totally ordered set (0...n) to the totally ordered set (0...m)) and there are no more choices to be made.

In other words the n-simplex is telling me how I may compose n arrows in a row. The 0-simplex, a point, gives identity maps. The 1-simplex is an arrow. The 2-simplex, a triangle, tells me how to compose 2 arrows and get a third (and the 2-cell it contains ought to be invertible to express that the path consisting of the two composed arrows is equal to its composite) and the 3-simplex, a tetrahedron, should tell me that composition is associative.

None of these geometric/combinatorial objects actually seems to say anything about general composition of directed higher cells, only perhaps composition of undirected ones as needed for coherence. I feel the need for another infinite family of "simplicial sequences" that may not in fact be linear sequences, since there is a highly branching collection of ways of composing many 2-cells.
Tags:
• #### (no subject)

A paper on describing circuits in an agda DSL: http://www.staff.science.uu.nl/~swier004/publications/2015-types-draft.pdf

• #### (no subject)

Going more carefully now through this little tutorial on fpga programming with the iCEstick. It's in spanish, which makes it slightly more…

• #### (no subject)

Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic