Morphisms and modules for poly-bicategories

Theory and Applications of Categories

Volumn 11, Issue 1, 2003, Pages 15-74

  Cockett, J R B ^a   Koslowski, J ^b   Seely, R A G ^c  

^a UNIVERSITY OF CALGARY   (Canada)

^b TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

Bicategories; Modules; Multicategories; Polycategories; Representation theorems

Indexed keywords

EID: 14544294463     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (27)

1. BENABOU, J. Introduction to bicategories. In Reports of the Midwest Category Seminar 1, vol. 47 of LNM. Springer-Verlag, Berlin - New York, 1967, pp. 1-77.
2. BLUTE, R. F., COCKETT, J. R. B., SEELY, R. A. G., AND TRIMBLE, T. H. Natural deduction and coherence for weakly distributive categories. J. Pure Appl. Algebra 113 (1996), 229-296.
3. BLUTE, R. F., COCKETT, J. R. B., AND SEELY, R. A. G. The logic of linear functors. Math. Structures Comput. Sci. 12(2002), 513-539.
4. BOURBAKI, N. Algèbre multilinéaire. Hermann, Paris, 1948.
5. CHU, P.-H. Constructing *-autonomous categories, vol. 752 of LNM. Springer-Verlag, Berlin - New York, 1979, pp. 103-137.
6. COCKETT, J. R. B., KOSLOWSKI, J., AND SEELY, R. A. G. Introduction to linear bicategories. Math. Structures Comput. Sci. 10 (2000), 165-203.
7. COCKETT, J. R. B., AND SEELY, R. A. G. Weakly distributive categories. In Applications of Categories to Computer Science (1992), M. P. Fourman, P. T. Johnstone, and A. M. Pitts, Eds., vol. 177 of London Mathematical Society Lecture Note Series, Cambridge University Press, pp. 45-65.
8. COCKETT, J. R. B., AND SEELY, R. A. G. Linearly distributive functors. J. Pure Appl. Algebra 143 (1999), 155-203.
9. COCKETT, J. R. B., KOSLOWSKI, J., SEELY, R. A. G., AND WOOD, R. Modules, (in preparation).
10. DAVEY, B. A., AND DAVIS, G. Tensor products and entropic varieties. Algebra Universalis 21 (1985), 68-88.
11. GORDON, R., POWER, A. J., AND STREET, R. Coherence for Tricategories, vol. 558 of Memoirs of the AMS. AMS, Providence, RI, 1995.
12. GRAY, J. W. Formal Category Theory: Adjointness for 2-Categories. vol. 391 of LNM, Springer-Verlag, Berlin - New York, 1970.
13. HERMIDA, C. Representable multicategories. University of Sydney, June 1999.
14. KELLY, G. M., AND STREET, R. H. Review of the elements of 2-categories. In Proceedings of the Sydney Category Seminar, vol. 420 of LNM. Springer-Verlag, Berlin - New York, 1974, pp. 75-103.
15. KOSLOWSKI, J. Monads and interpolads in bicategories. Theory and Applications of Categories 3, 8 (1997), 182-212.
16. KOSLOWSKI, J. A 2-dimensional view of the chu construction. Invited talk at the Workshop on Chu Spaces, LICS 2000, UCSB, June 25, 2000.
17. KOSLOWSKI, J. Beyond the chu construction. Applied Categorical Structures 9, 2 (2001), 153-171.
18. LACK, S. AND STREET, R. The formal theory of monads II. J. Pure Appl. Algebra (to appear)
19. LAMBEK, J. Deductive systems and categories II. In Category Theory, Homology Theory and their Applications I (1968), vol. 86 of LNM, Springer-Verlag, Berlin - New York, 1969, pp. 76-122.
20. LEINSTER, T. fc-multicategories. Talk given at PSSL 70 in Cambridge, February 1999.
21. RETORÉ, C. Pomset logic: a non-commutative extension of classical linear logic. In TLCA '97 (1997), vol. 1210 of LNCS, Springer-Verlag, Berlin, 1984, pp. 300-318.
22. SCHNECK, R. R. Natural deduction and coherence for non-symmetric linearly distributive categories. Theory Appl. Categ. 6, 9 (1999), 105-146.
23. STREET, R. Limits indexed by category-valued 2-functors. J. Pure Appl. Algebra 8 (1976), 149-181.
24. STREET, R. Categorical structures. Handbook of Algebra Volume 1, editor M. Hazewinkel; Elsevier Science, Amsterdam 1996, 529-577.
25. STREET, R., AND WALTERS, R. F. C. Yoneda structures on 2-categories. Journal of Algebra 50 (1978), 350-379.
26. SZABO, M. E. Polycategories. Comm. Algebra 3 (1975), 663-689.
27. WALTERS, R. F. C. Sheaves and Cauchy complete categories. Cahiers Topologie Géom. Différentielle 22 (1981), 282-286.