occasional meanderings in physics' brave new world
- Name: Kea
- Location: New Zealand
Marni D. Sheppeard
Thursday, January 18, 2007
Let's try another picture formatting option on squashed cube diagrams, which are what we get when we start thinking about higher dimensional categories. A natural transformation is an arrow between functors between 1-categories. What if we had a kind of 2-functor between 2-categories? These can have pseudonatural transformations between them, and then of course there has to be yet another level of arrow, and these are called modifications.