A logic, generalising Hennessy?Milner logic, which is characteristic for the generalised notion of bisimulation is presented, which makes possible a uniform definition of bisIMulation across a range of different models for parallel computation presented as categories.Expand

This paper defines and proves the correctness of the appropriate string diagrams for various kinds of monoidal categories with duals. Mathematics Subject Classifications (1991). 18D10, 52B11, 53A45 ,… Expand

Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.

A quasi-category X is a simplicial set satisfying the restricted Kan conditions of Boardman and Vogt. It has an associated homotopy category hoX. We show that X is a Kan complex iff hoX is a… Expand

The goal of this paper is to give an account of classical Tannaka duality [C⁄] in such a way as to be accessible to the general mathematical reader, and to provide a key for entry to more recent… Expand