Abstract

Using the theory of pasting presentations, developed in chapter 2, I give a detailed description of the tensor product on !-categories, which extends Gray's tensor product on 2-categories and which is closely related to Brown-Higgins's tensor product on !-groupoids. Immediate consequences are a general and uniform definition of higher dimensional lax natural transformations, and a nice and transparent description of the corresponding internal homs. Further consequences will be in the development of a theory for weak n-categories, since both tensor products and lax structures are crucial in this. Contents 1 Introduction 3 2 Cubes and cubical sets 5 2.1 Cubes combinatorially : : : : : : : : : : : : : : : : : : : : : : : : 5 2.2 A model category for cubes : : : : : : : : : : : : : : : : : : : : : 6 2.3 Generating the model category for cubes : : : : : : : : : : : : : : 7 2.4 Cubical sets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 2.5 Duality : : : : : : : : : : : : : ...

Citations