Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
Bisimulation from Open Maps
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. Joyal
- 8 November 2002
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…