Polycategories via pseudo-distributive laws

Advances in Mathematics

Volumn 218, Issue 3, 2008, Pages 781-827

  Garner, Richard ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Clubs; Polycategory; Pseudo double category; Pseudo distributive law; Pseudomonad

Indexed keywords

EID: 41849105332     PISSN: 00018708     EISSN: 10902082     Source Type: Journal    
DOI: 10.1016/j.aim.2008.02.001     Document Type: Article

References (20)

1. Szabo M.E. Polycategories. Comm. Algebra 3 8 (1975) 663-689
2. Cockett J.R.B., and Seely R.A.G. Weakly distributive categories. J. Pure Appl. Algebra 114 2 (1997) 133-173
3. Koslowski J. A monadic approach to polycategories. Electron. Notes Theor. Comput. Sci. vol. 69 (2003) 1-26
4. Burroni A. T-catégories (catégories dans un triple). Cah. Topol. Géom. Différ. Catég. 12 (1971) 215-321
5. Hermida C. Representable multicategories. Adv. Math. 151 2 (2000) 164-225
6. Leinster T. Higher Operads, Higher Categories. London Math. Soc. Lecture Note Ser. vol. 298 (2004), Cambridge Univ. Press, Cambridge
7. Baez J.C., and Dolan J. Higher-dimensional algebra III. n-Categories and the algebra of opetopes. Adv. Math. 135 2 (1998) 145-206
8. Clementino M.M., and Tholen W. Metric, topology and multicategory-A common approach. J. Pure Appl. Algebra 179 1-2 (2003) 13-47
9. Marmolejo F. Distributive laws for pseudomonads. Theory Appl. Categ. 5 5 (1999) 91-147 (electronic)
10. M. Tanaka, Pseudo-distributive laws, PhD thesis, Edinburgh, 2004
11. Garner R. Double clubs. Cah. Topol. Géom. Différ. Catég. 47 4 (2006) 261-317
12. Hyland J.M.E. Proof theory in the abstract. Ann. Pure Appl. Logic 114 1-3 (2002) 43-78 commemorative Symposium Dedicated to Anne S. Troelstra (Noordwijkerhout, 1999)
13. Leinster T. Operads in higher-dimensional category theory. Theory Appl. Categ. 12 3 (2004) 73-194 (electronic)
14. Lambek J. Deductive systems and categories. II. Standard constructions and closed categories. Category Theory, Homology Theory and their Applications, I. Battelle Institute Conference, Seattle, Wash., 1968, vol. one (1969), Springer, Berlin 76-122
15. Cheng E., Hyland M., and Power J. Pseudo-distributive laws. In: Brookes S., and Panangaden P. (Eds). Proceedings of Mathematical Foundations of Programming Semantics. Electron. Notes Theor. Comput. Sci. vol. 83 (2003) 12 pages
16. Kelly G.M., and Street R. Review of the elements of 2-categories. Category Seminar, Proc. Sem. Sydney, 1972/1973. Lecture Notes in Math. vol. 420 (1974), Springer, Berlin 75-103
17. Day B., and Street R. Lax monoids, pseudo-operads, and convolution. Diagrammatic Morphisms and Applications. San Francisco, CA, 2000. Contemp. Math. vol. 318 (2003), Amer. Math. Soc., Providence, RI 75-96
18. Street R. Frobenius monads and pseudomonoids. J. Math. Phys. 45 10 (2004) 3930-3948
19. Kelly G.M. On clubs and data-type constructors. Applications of Categories in Computer Science. Durham, 1991. London Math. Soc. Lecture Note Ser. vol. 177 (1992), Cambridge Univ. Press, Cambridge 163-190
20. Day B., and Street R. Monoidal bicategories and Hopf algebroids. Adv. Math. 129 1 (1997) 99-157