occasional meanderings in physics' brave new world
- Name: Kea
- Location: New Zealand
Marni D. Sheppeard
Tuesday, April 24, 2007
An arrow f in any category C can be turned into an arrow in some category of categories by taking the functor from the category 2 into C which picks out the arrow f. Similarly, in the category of categories, one can replace a square by a quadruple of squares. The arrow 0 in the diagram represents the source of an arrow, whereas the arrow 1 is the target. Similarly, a triangle is really a hexagon, and so on.