Coherence, homotopy and 2-theories

K-Theory

Volumn 23, Issue 3, 2001, Pages 203-235

  Yanofsky, Noson S ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Algebraic theories; Categorial coherence; Model categories

Indexed keywords

EID: 0041329910     PISSN: 09203036     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1011893700822     Document Type: Article

References (32)

1. Arroyo, F. H.: Coherent homotopical algebras: Special gamma-categories, Appl. Categ. Structures 5 (1997), 339-362.
2. Barr, M. and Wells, C.: Category Theory for Computing Science, Prentice-Hall, 1990.
3. Blackwell, R., Kelly, G. M. and Power, A. J.: Two-dimensional monad theory, J. Pure Appl. Algebra 59 (1989), 1-41.
4. Bloom, S. L., Ésik, Z., Labella, A. and Manes, E. G.: Iteration 2-theories, Preprint available at www.cs.stevens-tech.edu/ bloom/research/index.html
5. Bunge, M.: Bifibration induced adjoint pairs, Reports of the Midwest Category Seminar, V (Zurich), Lecture Notes in Math. 195, Springer, New York, 1970, pp. 70-122.
6. Dwyer, W. G. and Spaliński, J.: Homotopy theories and model categories, Handbook Algebraic Topol. 73-126.
7. Gray, J. W.: Quasi-Kan extensions for 2-categories, Bull. Amer. Math. Soc. 80(1) (1974), 142-147.
8. Gray, J. W.: Formal Category Theory: Adjointness for 2-Categories, Lecture Notes in Math. 391, Springer, New York, 1974.
9. Gray, J. W.: 2-Algebraic theories and triples, Cahiers Topologie Geom. Differentielle XIV (1974), 178-180.
10. Heller, A.: Homotopy theories, Mem. Amer. Math. Soc. 71 (1988), No. 383.
11. Heller, A.: Relative homotopy, J. London Math. Soc. (2) 44(3) (1991), 537-552.
12. Hinich, V.: Homological algebra of homotopy algebras, Comm. Algebra 25(10) (1997), 3291-3323.
13. Hovey, M.: Model Categories, Math. Surveys Monogr. 63, Amer. Math. Soc., Providence.
14. Joyal, A. and Street, R.: Braided tensor categories, revised, Macquarie Math. Report No. 86081.
15. Joyal, A. and Street, A.: Braided tensor categories, Adv. Math. 102 (1993), 20-78.
16. Kassel, C.: Quantum Groups, Grad. Texts in Math., 155, Springer, New York, 1995.
17. Lawvere, F. W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A. 50 (1963), 869-872.
18. Leinster, T.: Up-to-homotopy monoids, math.QA/9912084
19. MacLane, S.: Naural associativity and commutativity, Rice Univ. Studies 49 (1963), 28-46.
20. Power, J.: Why tricategories? Inform. Comput. 120(2) (1995), 251-262.
21. Power, J.: Enriched Lawvere theories, Theory Appl. Cat. 6(7) (1999), 83-93.
22. Quillen, D. G.: Homotopical Algebra, Lecture Notes in Math. 43, Springer, New York, 1967.
23. Rezk, C.: A model category for categories, Preprint.
24. Stasheff, J.: Homotopy associativity of H-spaces, I, II. Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid. 108 (1963), 293-312.
25. Stasheff, J.: Homotopy associativity of H-spaces, I, II. Trans. Amer. Math. Soc. 108 (1963), 275-292; ibid. 108 (1963), 293-312.
26. Street, R.: The algebra of oriented simplexes, J. Pure. Appl. Algebra 49 (1987), 283-335.
27. Wagner, E. G.: Algebraic semantics, Handbook Logic Comput. Sci. 3 (1994), 323-393.
28. Yanofsky, N. S.: Obstructions to coherence: Natural noncoherent associativity, J. Pure Appl. Alg. 147(2) (2000), 175-213. Available at http://xxx.lanl.gov/QA/9804106.
29. Yanofsky, N. S.: Natural noncoherent commutativity, (in preparation).
30. Yanofsky, N. S.: Syntax of coherence, Cahiers Topologie Geom. Differentielle Vol XLI-4(2000), 255-304. Available at http://xxx.lanl.gov/CT/9910006.
31. Yanofsky, N. S.: n + 1 Model categories for n-Cat, (in preparation).
32. Yetter, D. A.: Quantum groups and representations of monoidal categories, Math. Proc. Cambridge Philos. Soc. 108 (1990), 261-290.