• Publications
  • Influence
Bisimulation from Open Maps
TLDR
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.
The geometry of tensor calculus, I
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 ,
Traced monoidal categories
Traced monoidal categories are introduced, a structure theorem is proved for them, and an example is provided where the structure theorem has application.
Quasi-categories and Kan complexes
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
Algebraic set theory
1. Axiomatic theory of small maps 2. Zermelo-Fraenkel algebras 3. Existence theorems 4. Examples.
Quasi-categories vs Segal spaces
We show that complete Segal spaces and Segal categories are Quillen equivalent to quasi-categories.
AN INTRODUCTION TO TANNAKA DUALITY AND QUANTUM GROUPS
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
...
1
2
3
4
5
...