We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O + whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I 0+ = I, I (i+1)+ = (I i+) +, we call the operations of I (n−1)+ the ‘n-dimensional opetopes’. Opetopes form a category, and presheaves on this category are called ‘opetopic sets’. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street’s simplicial approach to weak ω-categories. In a similar manner, starting from an arbitrary operad O instead of I, we define ‘n-coherent O-algebras’, which are n times categorified analogs of algebras of O. Examples include ‘monoidal n-categories’, ‘stable n-categories’, ‘virtual n-functors ’ and ‘representable n-prestacks’. We also describe how n-coherent O-algebra objects may be defined in any (n + 1)-coherent O-algebra. 1

In this dissertation we investigate presheaf models for concurrent computation. Our aim is to provide a systematic treatment of bisimulation for a wide range of concurrent process calculi. Bisimilarity is defined abstractly in terms of open maps as in the work of Joyal, Nielsen and Winskel. Their work inspired this thesis by suggesting that presheaf categories could provide abstract models for concurrency with a built-in notion of bisimulation. We show how

In the course of the development of our understanding of topological quantum field theory (TQFT) [1,2], it has emerged that the structures of generators and relations for the construction of low dimensional TQFTs by various combinatorial methods are equivalent to the structures of various fundamental objects in abstract algebra.

‘Categorification ’ is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets serves as a categorified version of the set of natural numbers, with disjoint union and Cartesian product playing the role of addition and multiplication. We sketch how categorifying the integers leads naturally to the infinite loop space Ω ∞ S ∞ , and how categorifying the positive rationals leads naturally to a notion of the ‘homotopy cardinality ’ of a tame space. Then we show how categorifying formal power series leads to Joyal’s espèces des structures, or ‘structure types’. We also describe a useful generalization of structure types called ‘stuff types’. There is an inner product of stuff types that makes the category of stuff types into a categorified version of the Hilbert space of the quantized harmonic oscillator. We conclude by sketching how this idea gives a nice explanation of the combinatorics of Feynman diagrams. 1

The suspension-loop construction is used to define a process in a symmetric monoidal category. The algebra of such processes is that of symmetric monoidal bicategories. Processes in categories with products and in categories with sums are studied in detail, and in both cases the resulting bicategories of processes are equipped with operations called feedback. Appropriate versions of traced monoidal properties are verified for feedback, and a normal form theorem for expressions of processes is proved. Connections with existing theories of circuit design and computation are established via structure preserving homomorphisms.

The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for semantic models with an underlying reduction semantics. The derivation procedure requires the presence of certain colimits (or, more usually and generally, bicolimits) which need to be constructed separately within each model. In this paper, we o#er a general construction of such bicolimits in a class of bicategories of cospans. The construction sheds light on as well as extends Ehrig and Konig's rewriting via borrowed contexts and opens the way to a unified treatment of several applications.

The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n <= 2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.

We introduce the notion of representable multicategory , which stands in the same relation to that of monoidal category as bration does to contravariant pseudofunctor (into Cat). We give an abstract reformulation of multicategories as monads in a suitable Kleisli bicategory of spans. We describe representability in elementary terms via universal arrows . We also give a doctrinal characterisation of representability based on a fundamental monadic adjunction between the 2-category of multicategories and that of strict monoidal categories. The first main result is the coherence theorem for representable multicategories, asserting their equivalence to strict ones, which we establish via a new technique based on the above doctrinal characterisation. The other main result is a 2-equivalence between the 2category of representable multicategories and that of monoidal categories and strong monoidal functors. This correspondence extends smoothly to one between bicategories and a se...

We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for process calculi where terms are viewed modulo structural congruence. We develop their basic properties and show that bisimulation on the LTS derived via GRPOs is a congruence, provided that su#ciently many GRPOs exist. The theory is applied to a simple subset of CCS and the resulting LTS is compared to one derived using a procedure proposed by Sewell.

A 2-group is a ‘categorified ’ version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G×G → G has been replaced by a functor. Various versions of this notion have already been explored; our goal here is to provide a detailed introduction to two, which we call ‘weak ’ and ‘coherent ’ 2-groups. A weak 2-group is a weak monoidal category in which every morphism has an inverse and every object x has a ‘weak inverse’: an object y such that x ⊗ y ∼ = 1 ∼ = y ⊗ x. A coherent 2-group is a weak 2-group in which every object x is equipped with a specified weak inverse ¯x and isomorphisms ix: 1 → x ⊗ ¯x, ex: ¯x ⊗ x → 1 forming an adjunction. We describe 2-categories of weak and coherent 2-groups and an ‘improvement ’ 2-functor that turns weak 2-groups into coherent ones, and prove that this 2-functor is a 2-equivalence of 2-categories. We internalize the concept of coherent 2-group, which gives a quick way to define Lie 2-groups. We give a tour of examples, including the ‘fundamental 2-group ’ of a space and various Lie 2-groups. We also explain how coherent 2-groups can be classified in terms of 3rd cohomology classes in group cohomology. Finally, using this classification, we construct for any connected and simply-connected compact simple Lie group G a family of 2-groups G � ( � ∈ Z) having G as its group of objects and U(1) as the group of automorphisms of its identity object. These 2-groups are built using Chern–Simons theory, and are closely related to the Lie 2-algebras g � ( � ∈ R) described in a companion paper. 1 1