geometric representation theorems for the syntax of higher-dimensional categories are examples of what Street and others have begun calling ‘post-modern algebra’… In post-modern algebra, the abstract algebraic notions are very much alive, …