## Algebraic & Geometric Topology

### Coherence for invertible objects and multigraded homotopy rings

Daniel Dugger

#### Abstract

We prove a coherence theorem for invertible objects in a symmetric monoidal category (or equivalently, a coherence theorem for symmetric categorical groups). This is used to deduce associativity, skew-commutativity, and related results for multigraded morphism rings, generalizing the well-known versions for stable homotopy groups.

#### Article information

Source
Algebr. Geom. Topol., Volume 14, Number 2 (2014), 1055-1106.

Dates
Revised: 8 October 2013
Accepted: 9 October 2013
First available in Project Euclid: 19 December 2017

https://projecteuclid.org/euclid.agt/1513715857

Digital Object Identifier
doi:10.2140/agt.2014.14.1055

Mathematical Reviews number (MathSciNet)
MR3180827

Zentralblatt MATH identifier
1312.18002

#### Citation

Dugger, Daniel. Coherence for invertible objects and multigraded homotopy rings. Algebr. Geom. Topol. 14 (2014), no. 2, 1055--1106. doi:10.2140/agt.2014.14.1055. https://projecteuclid.org/euclid.agt/1513715857

#### References

• J F Adams, Prerequisites (on equivariant stable homotopy) for Carlsson's lecture, from: “Algebraic topology”, (I Madsen, B Oliver, editors), Lecture Notes in Math. 1051, Springer, Berlin (1984) 483–532
• A M Cegarra, E Khmaladze, Homotopy classification of graded Picard categories, Adv. Math. 213 (2007) 644–686
• P Deligne, La formule de dualité globale, from: “Sém. Geom. algébrique Bois-Marie 1963/64, SGA 4”, Lect. Notes Math. 3, Springer-Verlag (1973) 481–587
• S Eilenberg, S Mac Lane, Cohomology theory of Abelian groups and homotopy theory, II, Proc. Nat. Acad. Sci. U. S. A. 36 (1950) 657–663
• S Eilenberg, S Mac Lane, On the groups $H(\Pi,n)$, II, Ann. of Math. 60 (1954) 49–139
• A Fr öhlich, C T C Wall, Graded monoidal categories, Compositio Math. 28 (1974) 229–285
• X S Hoàng, $\mathit{Gr}$–categories, PhD thesis, Université Paris VII (1975)
• N Johnson, A M Osorno, Modeling stable one-types, Theory Appl. Categ. 26 (2012) 520–537
• A Joyal, R Street, Braided tensor categories, Adv. Math. 102 (1993) 20–78
• A Joyal, R Street, D Verity, Traced monoidal categories, Math. Proc. Cambridge Philos. Soc. 119 (1996) 447–468
• G M Kelly, M L Laplaza, Coherence for compact closed categories, J. Pure Appl. Algebra 19 (1980) 193–213
• L G Lewis, Jr, M A Mandell, Equivariant universal coefficient and Künneth spectral sequences, Proc. London Math. Soc. 92 (2006) 505–544
• S Mac Lane, Categories for the working mathematician, 2nd edition, Graduate Texts in Mathematics 5, Springer, New York (1998)
• J P May, Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics 91, published for the CBMS, Washington, DC (1996)
• J P May, J Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs 132, Amer. Math. Soc. (2006)
• K Ponto, M Shulman, Traces in symmetric monoidal categories
• V Voevodsky, $\mathbf{A}^1$–homotopy theory, from: “Proceedings of the International Congress of Mathematicians, Vol. I”, (S D Chatterji, editor), Extra Vol. I (1998) 579–604