Showing 1–6 of 6 results for author: Elmendorf, A D

Multicategories from Symmetric Monoidal Categories

Authors: A. D. Elmendorf

Abstract: This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also… ▽ More This paper considers the possible underlying multicategories for a symmetric monoidal category, and shows that, up to canonical and coherent isomorphism, there really is only one. As a result, there is a well-defined forgetful functor from symmetric monoidal categories to multicategories, as long as all morphisms of symmetric monoidal categories are at least lax symmetric monoidal. The paper also shows that this forgetful functor has a left adjoint, and that the monad of the adjunction gives a strictification construction. △ Less

Submitted 20 July, 2024; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: New version corrects an error in the previous submission: Corollary 5.5 has an incorrect proof, and is probably wrong, since the left adjoint referenced in the Corollary is only weak, not strict

MSC Class: 18M05 (primary); 18M65 (secondary)

Operads for Symmetric Monoidal Categories

Authors: A. D. Elmendorf

Abstract: This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter concepts of symmetric monoidal category. A companion paper will use this operadic presentation to describe a vast array of underlying multicategories for a symm… ▽ More This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter concepts of symmetric monoidal category. A companion paper will use this operadic presentation to describe a vast array of underlying multicategories for a symmetric monoidal category. △ Less

Submitted 25 May, 2023; v1 submitted 15 January, 2023; originally announced January 2023.

Comments: 10 pages. Makes minor expository improvements from the previous version

MSC Class: 18M05 (primary); 18M65; 19D23 (secondary)

Journal ref: Theory and Applications of Categories, Vol. 39, 2023, No. 18, pp 535-544

Multiplicativity in Mandell's Inverse K-theory

Authors: A. D. Elmendorf

Abstract: We show that Mandell's inverse $K$-theory functor from $Γ$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of Bohmann and Osorno. We show that Mandell's inverse $K$-theory functor from $Γ$-categories to permutative categories preserves multiplicative structure. This is a first step towards an equivariant generalization that would be inverse to the construction of Bohmann and Osorno. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 19 pages. Submitted to Documenta Mathematica

MSC Class: 19-Dxx

Left Adjoints for Generalized Multicategories

Authors: A. D. Elmendorf

Abstract: We construct generalized multicategories associated to an arbitrary operad in Cat that is $Σ$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is the categorical version of the Barratt-Eccles operad. The main theorem is that there is an adjoint pair relating algebras over the operad to this sort of generalize… ▽ More We construct generalized multicategories associated to an arbitrary operad in Cat that is $Σ$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is the categorical version of the Barratt-Eccles operad. The main theorem is that there is an adjoint pair relating algebras over the operad to this sort of generalized multicategory. The construction is flexible enough to allow for equivariant generalizations. △ Less

Submitted 16 February, 2015; originally announced February 2015.

MSC Class: 18-Dxx

Permutative categories, multicategories, and algebraic K-theory

Authors: A. D. Elmendorf, M. A. Mandell

Abstract: We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative structure still preserved. The source category of arXiv:math/0403403, whose objects are permutative categories, maps fully and faithfully to the new source category, whose objects are (based) multicate… ▽ More We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative structure still preserved. The source category of arXiv:math/0403403, whose objects are permutative categories, maps fully and faithfully to the new source category, whose objects are (based) multicategories. △ Less

Submitted 1 September, 2009; v1 submitted 29 September, 2007; originally announced October 2007.

MSC Class: 19D23

Journal ref: Algebr. Geom. Topol. 9 (2009) 2391-2441

Rings, modules, and algebras in infinite loop space theory

Authors: A. D. Elmendorf, M. A. Mandell

Abstract: We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a… ▽ More We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and output. This requires us to define multiplicative structure on the category of small permutative categories. The framework we use is the concept of multicategory, a generalization of symmetric monoidal category that precisely captures the multiplicative structure we have present at all stages of the construction. Our method ends up in Smith's category of symmetric spectra, with an intermediate stop at a new category that may be of interest in its own right, whose objects we call symmetric functors. △ Less

Submitted 23 March, 2004; originally announced March 2004.

Comments: 59 pages, 1 figure

MSC Class: 19D23

Journal ref: Adv. in Math. 205 (2006), no. 1, 163-228