Pseudo limits, biadjoints, and pseudo algebras: Categorical foundations of conformal field theory

Memoirs of the American Mathematical Society

Volumn 182, Issue 860, 2006, Pages 1-171

  Fiore, Thomas M ^a  

^a AMERICAN MATHEMATICAL SOCIETY   (United States)

Author keywords

2 categories; 2 theories; Biadjoints; Conformal field theory; Lawvere theories; Lax algebras; Pseudo algebras; Pseudo limits; Rigged surfaces; Stacks

Indexed keywords

EID: 33745765911     PISSN: 00659266     EISSN: None     Source Type: Journal    
DOI: 10.1090/memo/0860     Document Type: Review

References (56)

1. J. Adámek, F. W. Lawvere, and J. Rosický, How algebraic is algebra?, Theory Appl. Categ. 8 (2001), 253-283 (electronic). MR1825435 (2002b:18005)
2. _, Continuous categories revisited, Theory Appl. Categ. 11 (2003), No. 11, 252-282 (electronic). MR1988399 (2004e: 18002)
3. _, On the duality between varieties and algebraic theories, Algebra Universalis 49 (2003), no. 1, 35-49. MR1978611 (2004b:18010)
4. John C. Baez and James Dolan, Higher-dimensional algebra and topological quantum field theory, J. Math. Phys. 36 (1995), no. 11, 6073-6105. MR1355899 (97f:18003)
5. _, Categorification, Higher category theory (Evanston, IL, 1997), Contemp. Math., vol. 230, Amer. Math. Soc., Providence, RI, 1998, pp. 1-36. MR1664990 (99k: 18016)
6. Jean Bénabou, Introduction to bicategories, Reports of the Midwest Category Seminar, Springer, Berlin, 1967, pp. 1-77. MR0220789 (36 #3841)
7. _, Structures algébriques dans les catégories, Cahiers Topologie Géom. Différentielle 10 (1968), 1-126. MR0244335 (39 #5650)
8. G. J. Bird, G. M. Kelly, A. J. Power, and R. H. Street, Flexible limits for 2-categories, J. Pure Appl. Algebra 61 (1989), no. 1, 1-27. MR1023741 (91a:18009)
9. R. Blackwell, G. M. Kelly, and A. J. Power, Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989), no. 1, 1-41. MR1007911 (91a:18010)
10. Francis Borceux, Handbook of categorical algebra. 1, Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge, 1994, Basic category theory. MR1291599 (96g:18001a)
11. Francis Borceux and G. M. Kelly, A notion of limit for enriched categories, Bull. Austral. Math. Soc. 12 (1975), 49-72. MR0369477 (51 #5710)
12. Richard E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras, Invent. Math. 109 (1992), no. 2, 405-444. MR1172696 (94f:11030)
13. Lawrence Breen, On the classification of 2-gerbes and 2-stacks, Astérisque (1994), no. 225, 160. MR1301844 (95m: 18006)
14. Aurelio Carboni, Scott Johnson, Ross Street, and Dominic Verity, Modulated bicategories, J. Pure Appl. Algebra 94 (1994), no. 3, 229-282. MR1285544 (96f:18008)
15. ∞ rings and modules, Theory Appl. Categ. 3 (1997), No. 4, 50-84 (electronic). MR1432192 (97i:18010)
16. Charles Ehresmann, Catégories structurées, Ann. Sci. École Norm. Sup. (3) 80 (1963), 349-426. MR0197529 (33 #5694)
17. Barbara Fantechi, Stacks for everybody, European Congress of Mathematics, Vol. I (Barcelona, 2000),
18. Progr. Math., vol. 201, Birkhäuser, Basel, 2001, pp. 349-359. MR1905329 (2003h: 14003)
19. Jean Giraud, Cohomologie non abélienne, Springer-Verlag, Berlin, 1971, Die Grundlehren der mathematischen Wissenschaften, Band 179. MR0344253 (49 #8992)
20. John W. Gray, Formal category theory: adjointness for 2-categories, Springer-Verlag, Berlin, 1974, Lecture Notes in Mathematics, Vol. 391. MR0371990 (51 #8207)
21. _, Quasi-Kan extensions for 2-categories, Bull. Amer. Math. Soc. 80 (1974), 142-147. MR0340369 (49 #5124)
22. _, Closed categories, lax limits and homotopy limits, J. Pure Appl. Algebra 19 (1980), 127-158. MR593251 (82f:18007a)
23. _, The existence and construction of lax limits, Cahiers Topologie Géom. Différentielle 21 (1980), no. 3, 277-304. MR591387 (82f:18007b)
24. _, The representation of limits, lax limits and homotopy limits as sections, Mathematical applications of category theory (Denver, Col., 1983), Contemp. Math., vol. 30, Amer. Math. Soc., Providence, RI, 1984, pp. 63-83. MR749769 (85k:18011)
25. Claudio Hermida, Prom coherent structures to universal properties, J. Pure Appl. Algebra 165 (2001), no. 1, 7-61. MR1860877 (2002g:18008)
26. P. Hu and I. Kriz, Conformal field theory and elliptic cohomology, Adv. Math. 189 (2004), no. 2, 325-412, http://www.math.lsa.umich.edu/~ ikriz/. MR2101224
27. _, Closed and open conformal field theories and their anomalies, Comm. Math. Phys. 254 (2005), no. 1, 221-253, http://www.math.lsa.umich.edu/~ikriz/. MR2116744
28. P. Hu, I. Kriz, and A. Voronov, On Kontsevich's Hochschild cohomology conjecture, to appear, http://www.math.lsa.umich.edu/~ikriz/.
29. G. M. Kelly, Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series, vol. 64, Cambridge University Press, Cambridge, 1982. MR651714 (84e:18001)
30. _, Elementary observations on 2-categorical limits, Bull. Austral. Math. Soc. 39 (1989), no. 2, 301-317. MR998024 (90f:18004)
31. G. M. Kelly and A. J. Power, Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, J. Pure Appl. Algebra 89 (1993), no. 1-2, 163-179. MR1239558 (94k: 18008)
32. G. M. Kelly and Ross Street, Review of the elements of 2-categories, Category Seminar (Proc. Sem., Sydney, 1972/1973), Springer, Berlin, 1974, pp. 75-103. Lecture Notes in Math., Vol. 420. MR0357542 (50 #10010)
33. Stephen Lack, On the monadicity of finitary monads, J. Pure Appl. Algebra 140 (1999), no. 1, 65-73. MR1700570 (2000g:18004)
34. _, Codescent objects and coherence, J. Pure Appl. Algebra 175 (2002), no. 1-3, 223-241, Special volume celebrating the 70th birthday of Professor Max Kelly. MR1935980 (2003k:18008)
35. F. William Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869-872. MR0158921 (28 #2143)
36. _, Some algebraic problems in the context of functorial semantics of algebraic theories, Reports of the Midwest Category Seminar. II, Springer, Berlin, 1968, pp. 41-61. MR0231882 (38 #210)
37. _, Ordinal sums and equational doctrines, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 141-155. MR0240158 (39 #1512)
38. Saunders Mac Lane, Natural associativity and commutativity, Rice Univ. Studies 49 (1963), no. 4, 28-46. MR0170925 (30 #1160)
39. _, Coherence theorems and conformal field theory, Category theory 1991 (Montreal, PQ, 1991), CMS Conf. Proc., vol. 13, Amer. Math. Soc., Providence, RI, 1992, pp. 321-328. MR1192155 (94d:18010)
40. _, Categories for the working mathematician, second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR1712872 (2001j:18001)
41. Saunders Mac Lane and Ieke Moerdijk, Sheaves in geometry and logic, Universitext, Springer-Verlag, New York, 1994, A first introduction to topos theory, Corrected reprint of the 1992 edition. MR1300636 (96c:03119)
42. John L. MacDonald and Arthur Stone, Soft adjunction between 2-categories, J. Pure Appl. Algebra 60 (1989), no. 2, 155-203. MR1020715 (90i:18004)
43. Ieke Moerdijk, Introduction to the language of stacks and gerbes, http://arxiv.org/abs/math.AT/0212266.
44. Joseph Polchinski, String theory. Vol. I, Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, 1998, An introduction to the bosonic string. MR1648555 (99h:81183)
45. A. J. Power, Enriched Lawvere theories, Theory Appl. Categ. 6 (1999), 83-93 (electronic), The Lambek Festschrift. MR1732465 (2000j:18002)
46. Graeme Segal, The definition of conformal field theory, Topology, geometry and quantum field theory, London Math. Soc. Lecture Note Ser., vol. 308, Cambridge Univ. Press, Cambridge, 2004, pp. 421-577. MR2079383
47. Harold Simmons, The glueing construction and lax limits, Math. Structures Comput. Sci. 4 (1994), no. 4, 393-431. MR1322182 (96d:18002)
48. Ross Street, The formal theory of monads, J. Pure Appl. Algebra 2 (1972), no. 2, 149-168. MR0299653 (45 #8701)
49. _, Two constructions on lax functors, Cahiers Topologie Géom. Différentielle 13 (1972), 217-264. MR0347936 (50 #436)
50. _, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra 8 (1976), no. 2, 149-181. MR0401868 (53 #5695)
51. _, Fibrations in bicategories, Cahiers Topologie Géom. Différentielle 21 (1980), no. 2, 111-160. MR574662 (81f:18028)
52. _, Correction to: "Fibrations in bicategories", Cahiers Topologie Géom. Différentielle Catég. 28 (1987), no. 1, 53-56. 1MR903151 (88i:18004)
53. Angelo Vistoli, Notes on grothendieck topologies, fibered categories, and descent theory, http://arxiv.org/abs/math.AG/0412512.
54. Noson S. Yanofeky, Algebraic theories in quantum field theories and quantum algebra: A proposal, (1999), http://wwv.sci. brooklyn.cuny.edu/~noson/pubs. html.
55. _, The syntax of coherence, Cahiers Topologie Géom. Différentielle Catég. 41 (2000), no. 4, 255-304, http://arxiv.org/abs/math.CT/9910006. MR1805933 (2001h:18007)
56. _, Coherence, homotopy and 2-theories, K-Theory 23 (2001), no. 3, 203-235, http://arxiv.org/abs/math.CT/0007033. MR1857207 (2003d: 18014)