A unified framework for generalized multicategories

Theory and Applications of Categories

Volumn 24, Issue , 2010, Pages 580-655

  Cruttwell, G S H ^a   Shulman, Michael A ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Change of base; Double categories; Enriched categories; Monads; Monoidal categories; Multicategories; Operads

Indexed keywords

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

References (66)

1. Michael Barr. Relational algebras. Lectures Notes in Mathematics 137: Reports of the Midwest Category Seminar IV, pages 39-55, 1970.
2. M. A. Batanin. Monoidal globular categories as a natural environment for the theory of weak n-categories. Adv. Math., 136(1):39-103, 1998.
3. John C. Baez and James Dolan. Higher-dimensional algebra. III. n-categories and the algebra of opetopes. Adv. Math., 135(2):145-206, 1998.
4. John C. Baez and James Dolan. From finite sets to Feynman diagrams. In Mathematics unlimited-2001 and beyond, pages 29-50. Springer, Berlin, 2001.
5. Jon Beck. Distributive laws. In Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pages 119-140. Springer, Berlin, 1969.
6. Jean Bénabou. Introduction to bicategories. In Reports of the Midwest Category Seminar, pages 1-77. Springer, 1967.
7. Clemens Berger and Ieke Moerdijk. Axiomatic homotopy theory for operads. Comment. Math. Helv., 78(4):805-831, 2003.
8. Ronald Brown and Christopher B. Spencer. Double groupoids and crossed modules. Cahiers Topologie Géom. Différentielle, 17(4):343-362, 1976.
9. Albert Burroni. T-catégories (catégories dans un triple). Cahiers Topologie Géom. Différentielle, 12:215-321, 1971.
10. J. M. Boardman and R. M. Vogt. Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, Berlin, 1973.
11. Eugenia Cheng. Weak n-categories: opetopic and multitopic foundations. Journal of Pure and Applied Algebra, 186(2):109 - 137, 2004.
12. M. Clementino, D. Hofmann, and W. Tholen. One setting for all: metric, topology, uniformity, approach structure. Applied Categorical Structures, 12:127-154, 2004.
13. Aurelio Carboni, Scott Johnson, Ross Street, and Dominic Verity. Modulated bicategories. J. Pure Appl. Algebra, 94(3):229-282, 1994.
14. G. S. H. Cruttwell and Michael A. Shulman. On the functoriality of generalized multicategories. In preparation, 2010.
15. G. S. H. Cruttwell and Michael A. Shulman. Representability of generalized multicategories. In preparation, 2010.
16. M. Clementino and W. Tholen. Metric, topology, and multicategory - a common approach. J. Pure and Applied Algebra, 153:13-47, 2003.
17. Brian J. Day and Stephen Lack. Limits of small functors. J. Pure Appl. Algebra, 210(3):651-663, 2007.
18. R. Dawson, R. Paré, and D. A. Pronk. Paths in double categories. Theory Appl. Categ., 16:No. 18, 460-521 (electronic), 2006.
19. R. Dawson, R. Pare, and D. A. Pronk. The span construction. Theory Appl. Categ., 24:302-377 (electronic), 2010.
20. Brian Day and Ross Street. Monoidal bicategories and Hopf algebroids. Adv. Math., 129(1):99-157, 1997.
21. Brian Day and Ross Street. Lax monoids, pseudo-operads, and convolution. In Diagrammatic morphisms and applications (San Francisco, CA, 2000), volume 318 of Contemp. Math., pages 75-96. Amer. Math. Soc., Providence, RI, 2003.
22. A. D. Elmendorf and M. A. Mandell. Rings, modules, and algebras in infinite loop space theory. Adv. Math., 205(1):163-228, 2006.
23. M. Fiore, N. Gambino, M. Hyland, and G. Winskel. The Cartesian closed bicategory of generalised species of structures. J. Lond. Math. Soc. (2), 77(1):203-220, 2008.
24. Richard Garner. Polycategories via pseudo-distributive laws. Adv. Math., 218(3):781-827, 2008.
25. Marco Grandis and Robert Paré. Limits in double categories. Cahiers Topologie Géom. Différentielle Catég., XL(3):162-220, 1999.
26. Marco Grandis and Robert Paré. Adjoints for double categories. Cah. Topol. Géom. Différentielle. Catég., 45(3):193-240, 2004.
27. Claudio Hermida. Representable multicategories. Advances in Mathematics, 151:164-225, 2000.
28. Claudio Hermida. From coherent structures to universal properties. J. Pure and Applied Algebra, 165:7-61, 2001.
29. Peter T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium: Volume 1. Number 43 in Oxford Logic Guides. Oxford Science Publications, 2002.
30. André Joyal. Une théorie combinatoire des séries formelles. Adv. in Math., 42(1):1-82, 1981.
31. André Joyal. Foncteurs analytiques et espéces de structures. In Combinatoire énumérative (Montreal, Que., 1985/Quebec, Que., 1985), volume 1234 of Lecture Notes in Math., pages 126-159. Springer, Berlin, 1986.
32. G. M. Kelly. An abstract approach to coherence. In Coherence in categories, pages 106-147. Lecture Notes in Math., Vol. 281. Springer, Berlin, 1972.
33. G. M. Kelly. Many-variable functorial calculus. I. In Coherence in categories, pages 66-105. Lecture Notes in Math., Vol. 281. Springer, Berlin, 1972.
34. G. M. Kelly. Structures defined by finite limits in the enriched context. I. Cahiers Topologie Géom. Différentielle, 23(1):3-42, 1982. Third Colloquium on Categories, Part VI (Amiens, 1980).
35. G. M. Kelly. On clubs and data-type constructors. In Applications of categories in computer science (Durham, 1991), volume 177 of London Math. Soc. Lecture Note Ser., pages 163-190. Cambridge Univ. Press, Cambridge, 1992.
36. G. M. Kelly. On the operads of J. P. May. Repr. Theory Appl. Categ., (13):1- 13 (electronic), 2005.
37. G. M. Kelly and Stephen Lack. On property-like structures. Theory Appl. Categ., 3(9):213-250, 1997.
38. Igor Kříž and J. P. May. Operads, algebras, modules and motives. Astérisque, (233):iv+145pp, 1995.
39. Stephen Lack. Icons. Appl. Categ. Structures, 18(3):289-307, 2010. arXiv:0711.4657.
40. Joachim Lambek. Deductive systems and categories. II. Standard constructions and closed categories. In Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. One), pages 76-122. Springer, Berlin, 1969.
41. J. Lambek. Multicategories revisited. In Categories in computer science and logic (Boulder, CO, 1987), volume 92 of Contemp. Math., pages 217-239. Amer. Math. Soc., Providence, RI, 1989.
42. F. William Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U.S.A., 50:869-872, 1963.
43. F. W. Lawvere. Metric spaces, generalized logic and closed categories. Reprints in Theory and Applications of Categories, 1:1-37, 2002.
44. Tom Leinster. Generalized enrichment of categories. J. Pure and Applied Algebra, 168:391-406, 2002.
45. Tom Leinster. Higher operads, higher categories, volume 298 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2004.
46. R. Lowen. Approach Spaces: The Missing Link in the Topology-Uniformity- Metric Triad. Oxford Science Publications, 1988.
47. th birthday of Professor Max Kelly.
48. J. Peter May. The geometry of iterated loop spaces. Springer-Verlag, Berlin, 1972. Lectures Notes in Mathematics, Vol. 271.
49. Jeffrey Morton. Categorified algebra and quantum mechanics. Theory Appl. Categ., 16:No. 29, 785-854 (electronic), 2006.
50. Jacques Penon. T-catégories représentables. Theory Appl. Categ., 22(15):376- 387, 2009.
51. John Power. Enriched Lawvere theories. Theory Appl. Categ., 6:83-93 (electronic), 1999. The Lambek Festschrift.
52. Gavin J. Seal. Canonical and op-canonical lax algebras. Theory and Applications of Categories, 14:221-243, 2005.
53. Michael Shulman. Framed bicategories and monoidal fibrations. Theory and Applications of Categories, 20:650-738, 2008.
54. Christoph Schubert and Gavin J. Seal. Extensions in the theory of lax algebras. Theory Appl. Categ., 21:No. 7, 118-151, 2008.
55. Ross Street. The formal theory of monads. J. Pure Appl. Algebra, 2(2):149- 168, 1972.
56. Ross Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2:149-168, 1972.
57. Ross Street. Fibrations and Yoneda's lemma in a 2-category. In Category Seminar (Proc. Sem., Sydney, 1972/1973), pages 104-133. Lecture Notes in Math., Vol. 420. Springer, Berlin, 1974.
58. Ross Street. Limits indexed by category-valued 2-functors. J. Pure Appl. Algebra, 8(2):149-181, 1976.
59. Ross Street. Fibrations in bicategories. Cahiers Topologie Géom. Différentielle, 21(2):111-160, 1980.
60. Ross Street. Enriched categories and cohomology. In Proceedings of the Symposium on Categorical Algebra and Topology (Cape Town, 1981), volume 6, pages 265-283, 1983. Reprinted as Repr. Theory Appl. Categ. 14:1-18, 2005.
61. Walter Tholen. Lax-algebraic methods in general topology. Summer School on Contemporary Categorical Methods in Algebra and Topology (course notes), 2007.
62. Walter Tholen. Ordered topological structures. Topology Appl., 156(12):2148- 2157, 2009.
63. Dominic Verity. Enriched categories, internal categories, and change of base. Cambridge University (PhD Thesis), 1992.
64. Mark Weber. Operads within monoidal pseudo algebras. Appl. Categ. Structures, 13(5-6):389-420, 2005.
65. Mark Weber. Yoneda structures from 2-toposes. Appl. Categ. Structures, 15(3):259-323, 2007.
66. R. J. Wood. Abstract proarrows. I. Cahiers Topologie Géom. Différentielle, 23(3):279-290, 1982.