by A. John Power, Gian Luca Cattani, Glynn Winskel
http://www.daimi.aau.dk/ftp/BRICS/Staff/cattani/reprfc.ps.gz
Add To MetaCart
Abstract:
a;1
Citations
|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
200
|
Basic Concepts of Enriched Category Theory, volume 64
– Kelly
- 1982
|
|
107
|
Bisimulation from open maps
– Joyal, Nielsen, et al.
- 1996
|
|
74
|
Review of the elements of 2-categories
– Kelly, Street
- 1974
|
|
71
|
Premonoidal categories and notions of computation
– Power, Robinson
- 1997
|
|
51
|
Two-dimensional monad theory
– Blackwell, Kelly, et al.
- 1989
|
|
48
|
Coherence for tricategories
– Gordon, Power, et al.
- 1995
|
|
32
|
Monads for which structures are adjoint to units
– Kock
- 1995
|
|
23
|
Fibrations in bicategories. Cahiers de topologie et géométrie différentielle
– Street
- 1980
|
|
21
|
A categorical axiomatics for bisimulation
– Cattani, Power, et al.
- 1998
|
|
8
|
The closure of a class of colimits
– Albert, Kelly
- 1988
|
|
8
|
Cauchy characterization of enriched categories
– Street
- 1981
|
|
7
|
A uni treatment of trans constructions for free algebras, free monoids, colimits, associated sheaves, and so
– Kelly
- 1980
|
|
6
|
Ulmer duality for categories enriched in bicategories
– Gordon, Power, et al.
- 1999
|
|
5
|
Doktrinen auf 2-Kategorien
– Zoberlein
- 1974
|
|
4
|
Coherence conditions for lax algebras and for distributive laws
– Kelly
- 1974
|
