The cartesian closed bicategory of generalised species of structures

Journal of the London Mathematical Society

Volumn 77, Issue 1, 2008, Pages 203-220

  Fiore, M ^a   Gambino, N ^b   Hyland, M ^a   Winskel, G ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44649151163     PISSN: 00246107     EISSN: 14697750     Source Type: Journal    
DOI: 10.1112/jlms/jdm096     Document Type: Article

References (41)

1. J. BAEZ and J. DOLAN, 'Higher-dimensional algebra III: n-categories and the algebra of opetopes', Adv. Math. 135 (1998) 145-206.
2. J. BAEZ and J. DOLAN, 'From finite sets to Feynman diagrams', Mathematics unlimited - 2001 and beyond, vol. 1 (ed. B. Engquist and W. Schmid; Springer, Berlin, 2001) 29-50.
3. H. BARENDREGT, The iambda calculus: its syntax and semantics, Studies in Logic and the Foundations of Mathematics 103 (Elsevier, Amsterdam, 1984).
4. J. BÉNABOU, 'Introduction to bicategories, Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47 (Springer, Berlin, 1967) 1-77.
5. J. BÉNABOU, 'Distributors at work', Lecture notes by T. Streicher of a course given at TU Darmstadt, Preprint, 2000, http://www.mathematik.tu-darmstadt.de/~streicher/.
6. F. BERGERON, 'Une combinatoire du pléthysme', J. Combin. Theory (Ser. A) 46 (1987) 291-305.
7. F. BERGERON, G. LABELLE and P. LEROUX, Combinatorial species and tree-like structures (Cambridge University Press, Cambridge, 1998).
8. G. BIERMAN, 'What is a categorical model of intuitionistic linear logic?', Typed lambda calculi and applications (TLCA'95), Lecture Notes in Computer Science 902 (Springer, Berlin, 1995) 78-93.
9. R. BLACKWELL, G. M. KELLY and A. J. POWER, 'Two-dimensional monad theory', J. Pure Appl. Algebra 59 (1989) 1-41.
10. R. F. BLUTE, J. R. B. COCKETT and R. A. G. SEELY, 'Differential categories', Math. Structures Comput. Sci. 16 (2006) 1049-1083.
11. G.-L. CATTANI and G. WINSKEL, 'Profunctors, open maps and bisimulation', Math. Structures Comput. Sci. 15 (2005) 553-614.
12. E. CHENG, M. HYLAND and J. POWER, Pseudo-distributive Jaws, Electronic Notes in Theoretical Computer Science 83 (2003).
13. B. DAY, 'On closed categories of functors', Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics 137 (Springer, Berlin, 1970) 1-38.
14. B. DAY and R. STREET, 'Monoidal bicategories and Hopf algebroids', Adv. Math. 129 (1997) 99-157.
15. B. DAY and R. STREET, 'Lax monoids, pseudo-operads, and convolution', Diagrammatic morphisms and applications, San Francisco, CA, 2000, Contemporary Mathematics 318 (American Mathematical Society, Providence, RI, 2003) 75-96.
16. T. EHRHARD and L. REIGNER, 'The differential lambda calculus', Theoret. Comput. Sci. 309 (2003) 1-41.
17. S. EILENBERG and G. M. KELLY, 'Closed categories', Proceedings of La Jolla Conference on Categorical Algebra (Springer, New York, 1966) 421-562.
18. M. FIORE, 'Mathematical models of computational and combinatorial structures', Foundations of software science and computation structures, FOSSACS 2005, Lecture Notes in Computer Science 3441 (Springer, Berlin, 2005) 25-46.
19. J.-Y. GIRARD, 'Linear logic', Theoret. Comput. Sci. 50 (1987) 1-101.
20. J.-Y. GIRARD, 'Normal functors, power series and A-calculus', Ann. Pure Appl. Logic 37 (1988) 129-177.
21. G. B. IM and G. M. KELLY, 'A universal property of the convolution monoidal structure', J. Pure Appl. Algebra 43 (1986) 75-88.
22. A. JOYAL, 'Une théorie combinatoire des séries formelles', Adv. Math. 42 (1981) 1-82.
23. A. JOYAL 'Foncteurs analytiques et espèces de structures', Combinatoire Énumérative, Lecture Notes in Mathematics 1234 (Springer, Berlin, 1986) 126-159.
24. G. M. KELLY, 'Coherence theorems for lax algebras and for distributive laws', Category Seminar; Proc. Sem., Sydney, 1972/1973, Lecture Notes in Mathematics 420 (Springer, Berlin, 1974) 281-375.
25. G. M. KELLY, 'On clubs and doctrines', Category Seminar, Proc. Sem., Sydney, 1972/1973, Lecture Notes in Mathematics 420 (Springer, Berlin, 1974) 181-256.
26. G. M. KELLY, 'On clubs and data-type constructors', Applications of categories in computer science, London Math. Soc. Lecture Notes 177 (Cambridge University Press, Cambridge, 1992) 163-190.
27. G. M. KELLY, 'On the operads of J.P.May', Repr. Theory Appl. Categ. (2005) 1-13. Reprint of a manuscript from 1972.
28. J. L. KRIVINE, Lambda-caiculus, types and models, Series in Computers and Their Applications (Ellis Horwood, Hemel Hempstead, 1993).
29. J. LAMBEK and P. SCOTT, Introduction to higher order categorical logic, Cambridge Studies in Advanced Mathematics 7 (Cambridge University Press, Cambridge, 1986).
30. F. W. LAWVERE, 'Metric spaces, generalized logic, and closed categories', Rend. Sem. Mat. Fis. Milano 43 (1973) 135-166.
31. T. LEINSTER, Higher operads, higher categories (Cambridge University Press, Cambridge, 2004).
32. S. MACLANE, Categories for the working mathematician, 2nd edn (Springer, New York, 1998).
33. F. MARMOLEJO, 'Distributive laws for pseudo-monads', Theory Appl. Categ. 5 (1999) 91-147.
34. J. P. MAY, The geometry of iterated loop spaces, Lecture Notes in Mathematics 271 (Springer, Berlin, 1972).
35. M. MÉNDEZ, 'Species on digraphs', Adv. Math. 123 (1996) 243-275.
36. M. MÉNDEZ and O. NAVA, 'Colored species, c-monoids and plethysm, I', J. Combin. Theory Ser. A 64 (1993) 102-129.
37. J. MORTON, 'Categorified algebra and quantum mechanics', Theory Appl. Categ. 16 (2006) 785-854.
38. O. NAVA and G.-C. ROTA, 'Plethysm, categories, and combinatories', Adv. Math. 58 (1985) 61-88.
39. D. SCOTT, 'Relating theories of the λ-calculus', To H. B. Curry: essays on combinatory logic, lambda calculus and formalism (Academic Press, London, 1980) 403-450.
40. R. STREET, 'Fibrations and Yoneda's lemma in a 2-category', Category Seminar, Proc. Sem., Sydney, 1972/1973, Lecture Notes in Mathematics 420 (Springer, Berlin, 1974) 104-133.
41. R. STREET, 'Fibrations in bicategories', Cah. Topol. Géom. Différ. Catèg. 21 (1980) 111-160.