Advertisement

Applied Categorical Structures

, Volume 27, Issue 1, pp 23–54 | Cite as

Gabriel-Morita Theory for Excisive Model Categories

  • Clemens Berger
  • Kruna RatkovicEmail author
Article
  • 23 Downloads

Abstract

We develop a Gabriel-Morita theory for strong monads on pointed monoidal model categories. Assuming that the model category is excisive, i.e. the derived suspension functor is conservative, we show that if the monad T preserves cofibre sequences up to homotopy and has a weakly invertible strength, then the category of T-algebras is Quillen equivalent to the category of T(I)-modules where I is the monoidal unit. This recovers Schwede’s theorem on connective stable homotopy over a pointed Lawvere theory as special case.

Keywords

Homotopical algebra Strong monad Excision Bar resolution 

Mathematics Subject Classification

Primary 18G55 18C15 Secondary 18D25 55P42 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barwick, C.: On left and right model categories and left and right Bousfield localizations. Homol. Homotopy Appl. 12, 245–320 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Batanin, M.A., Berger, C.: Homotopy theory for algebras over polynomial monads. Theory Appl. Categ. 32, 148–253 (2017)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Berger, C.: Iterated wreath product of the simplex category and iterated loop spaces. Adv. Math. 213, 230–270 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Berger, C., Moerdijk, I.: Axiomatic homotopy theory for operads. Comment. Math. Helv. 78, 805–831 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Berger, C., Moerdijk, I.: The Boardman-Vogt resolution of operads in monoidal model categories. Topology 45, 807–849 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Berger, C., Moerdijk, I.: On the derived category of an algebra over an operad. Georgian Math. J. 16, 13–28 (2009)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Berger, C., Moerdijk, I.: On an extension of the notion of Reedy category. Math. Z. 269, 977–1004 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Berger, C., Moerdijk, I.: On the homotopy theory of enriched categories. Quart. J. Math. 64, 805–846 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Borceux, F.: Handbook of categorical algebra 2: categories and structures. Encycl. Math. Appl. 51, xvii+443 (1994)zbMATHGoogle Scholar
  10. 10.
    Bousfield, A.K., Friedlander, E.M.: Homotopy theory of \(\Gamma \)-spaces, spectra, and bisimplicial sets. Lect. Notes Math. 658, 80–130 (1978)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Brown, K.: Abstract homotopy theory and generalized sheaf cohomology. Trans. Am. Math. Soc. 186, 419–458 (1973)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. France 90, 323–448 (1962)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Gabriel, P., Ulmer, F.: Lokal präsentierbare Kategorien. Lect. Notes Math. 221 (1971)Google Scholar
  14. 14.
    Goodwillie, T.: Calculus III. Geom. Topol. 7, 645–711 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Hirschhorn, P.S.: Model categories and their localizations. AMS Math. Surv. Monogr. 99, xvi+457 (2003)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Hovey, M.: Model categories. AMS Math. Surv. Monogr. 63, xii+209 (1999)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Johnson, N., Noel, J.: Lifting homotopy \(T\)-algebra maps to strict maps. Adv. Math. 264, 593–645 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Kock, A.: Monads on symmetric monoidal closed categories. Arch. Math. 21, 1–10 (1970)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Kock, A.: Strong functors and monoidal monads. Arch. Math. 23, 113–120 (1972)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Lawvere, F.W.: Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. 50, 869–872 (1963)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Lydakis, M.: Smash products and \(\Gamma \)-spaces. Math. Proc. Camb. Philos. Soc. 126, 311–328 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    May, J.P.: The geometry of iterated loop spaces. Lect. Notes Math. 271, viii+175 (1972)MathSciNetGoogle Scholar
  23. 23.
    Moggi, E.: Notions of computation and monads, selections from the 1989 IEEE symposium on logic in computer science. Inf. Comput. 93, 55–92 (1991)CrossRefzbMATHGoogle Scholar
  24. 24.
    Morita, K.: Duality for modules and its applications to the theory of rings with minimum condition. Sci. Rep. Tokyo Kyoiku Daigaku Sect. A 6, 83–142 (1958)MathSciNetzbMATHGoogle Scholar
  25. 25.
    Quillen, D.G.: Homotopical algebra. Lect. Notes Math. 43, iv+156 (1967)MathSciNetzbMATHGoogle Scholar
  26. 26.
    Ratkovic-Segrt, K.: Morita theory in enriched context. Ph.D., Nice (2012). arXiv:1302.2774
  27. 27.
    Rezk, C.: Every homotopy theory of simplicial algebras admits a proper model. Topol. Appl. 119, 65–94 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Schwede, S.: Spectra in model categories and applications to the algebraic cotangent complex. J. Pure Appl. Algebra 120, 77–104 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Schwede, S.: Stable homotopy of algebraic theories. Topology 40, 1–41 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Schwede, S., Shipley, B.E.: Stable model categories are categories of modules. Topology 42, 103–153 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Segal, G.: Categories and cohomology theories. Topology 13, 293–312 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  32. 32.
    Street, R.: The formal theory of monads. J. Pure Appl. Algebra 2, 149–168 (1972)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Trimble, T.: On the Bar Construction, \(n\)-Category Café, 31 May (2007)Google Scholar
  34. 34.
    Waldhausen, F.: Algebraic K-theory of spaces. Lect. Notes Math. 1126, 318–419 (1985)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer Nature B.V. 2018

Authors and Affiliations

  1. 1.Lab. J. A. DieudonnéUniversité de NiceParc Valrose, Nice CedexFrance
  2. 2.Faculty of Applied SciencesUniversity of Donja GoricaDonja Gorica, PodgoricaMontenegro

Personalised recommendations