On homotopy varieties

Advances in Mathematics

Volumn 214, Issue 2, 2007, Pages 525-550

  Rosicky J ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

Algebraic theory; Homotopy algebra; Homotopy colimit; Homotopy variety; Model category; Simplicial category

Indexed keywords

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

References (43)

1. Adámek J., and Rosický J. Locally Presentable and Accessible Categories (1994), Cambridge Univ. Press
2. Adámek J., and Rosický J. On sifted colimits and generalized varieties. Theory Appl. Categ. 8 (2001) 33-53
3. Adámek J., Lawvere F.W., and Rosický J. On the duality between varieties and algebraic theories. Algebra Universalis 49 (2003) 35-49
4. Artin M., Grothendieck A., and Verdier J.L. Théorie des topos et cohomologie étale des schémas. Lecture Notes in Math. vol. 269 (1972), Springer-Verlag
5. Badzioch B. Algebraic theories in homotopy theory. Ann. of Math. 155 (2002) 895-913
6. Badzioch B. From Γ-spaces to algebraic theories. Trans. Amer. Math. Soc. 357 (2005) 1779-1799
7. Beck J. On H-spaces and infinite loop spaces. Lecture Notes in Math. vol. 99 (1969), Springer-Verlag 139-153
8. Bergner J.E. Rigidification of algebras over multi-sorted theories. Algebr. Geom. Topology 6 (2006) 1925-1955
9. Bergner J.E. A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. in press; arXiv:. math.AT/0406507
10. Boardman J.M., and Vogt R. Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Math. vol. 347 (1973), Springer-Verlag
11. Borceux F. Handbook of Categorical Algebra, II (1994), Cambridge University Press
12. Borceux F., and Quinteiro C. Enriched accessible categories. Bull. Austral. Math. Soc. 54 (1996) 49-72
13. Borceux F., Quinteiro C., and Rosický J. A theory of enriched sketches. Theory Appl. Categ. 4 (1998) 47-72
14. Bourn D., and Cordier J.-M. A general formulation of homotopy limits. J. Pure Appl. Algebra 29 (1983) 129-141
15. Bousfield A.K., and Kan D.M. Homotopy Colimits, Completions and Localizations. Lecture Notes in Math. vol. 304 (1972), Springer-Verlag
16. Casacuberta C., and Chorny B. The orthogonal subcategory problem in homotopy theory. Contemp. Math. vol. 399 (2006) 41-53
17. Chorny B., and Dwyer W.G. Homotopy theory of small diagrams over large categories. arXiv:. math.AT/0607117
18. Cordier J.-M., and Porter T. Homotopy coherent category theory. Trans. Amer. Math. Soc. 349 (1997) 1-54
19. Day B.J., and Lack S. Limits of small functors. arXiv:. math.CT/0610439
20. Dror Farjoun E. Cellular Spaces, Null Spaces and Homotopy Localizations. Lecture Notes in Math. vol. 1622 (1996), Springer-Verlag
21. Dugger D. Universal homotopy theories. Adv. Math. 164 (2001) 144-176
22. Dugger D. Combinatorial model categories have presentations. Adv. Math. 164 (2001) 177-201
23. Dwyer W.G., and Kan D.M. Function complexes in homotopical algebra. Topology 19 (1980) 427-440
24. Goerss P.G., and Jardine J.F. Simplicial Homotopy Theory (1999), Birkhäuser
25. Hirschhorn P.S. Model Categories and Their Localizations (2003), Amer. Math. Soc.
26. Hovey M. Model Categories (1999), Amer. Math. Soc.
27. Joyal A. Quasi-categories and Kan complexes. J. Pure Appl. Algebra 175 (2002) 207-222
28. Joyal A., and Tierney M. Quasi-categories vs Segal spaces. arXiv:. math.AT/0607820
29. Kelly G.M. Basic Concepts of Enriched Category Theory (1982), Cambridge Univ. Press. http://www.tac.mta.ca/reprints see also
30. Kelly G.M. Structures defined by finite limits in the enriched context, I. Cah. Topol. Géom. Differ. Categ. 23 (1982) 3-42
31. Lawvere F.W. Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. 50 (1963) 869-872
32. Lawvere F.W. Functorial semantics of algebraic theories. Dissertation, Columbia University, see also (1963). http://www.tac.mta.ca/reprints
33. Lurie J. On ∞-topoi. arXiv:. math.CT/0606109
34. Lurie J. On higher topos theory. arXiv:. math.CT/0308040
35. Lurie J. Derived algebraic geometry I: Stable ∞-categories. arXiv:. math.CT/0608228
36. Maltsiniotis G. La théorie de l'homotopie de Grothendieck. Astérisque 301 (2005)
37. May J.P. The Geometry of Iterated Loop Spaces. Lecture Notes in Math. vol. 271 (1972), Springer-Verlag
38. Quillen D.G. Higher algebraic K-theory I. Lecture Notes in Math. vol. 341 (1973), Springer-Verlag 85-147
39. Rezk C. Toposes and homotopy toposes. http://www.math.uiuc.edu/~rezk
40. Simpson C. A Giraud-type characterization of the simplicial categories associated to closed model categories as ∞-pretopoi. arXiv:. math.AT/9903167
41. Stasheff J.D. Homotopy associativity of H-spaces I, II. Trans. Amer. Math. Soc. 108 (1963) 275-312
42. Toën B., and Vezzosi G. Segal topoi and stacks over Segal categories. arXiv:. math.AG/0212330
43. Toën B., and Vezzosi G. Homotopical algebraic geometry I: Topos theory. Adv. Math. 193 (2005) 257-372