12,463 research outputs found
Iterated Monoidal Categories
We develop a notion of iterated monoidal category and show that this notion
corresponds in a precise way to the notion of iterated loop space. Specifically
the group completion of the nerve of such a category is an iterated loop space
and free iterated monoidal categories give rise to finite simplicial operads of
the same homotopy type as the classical little cubes operads used to
parametrize the higher H-space structure of iterated loop spaces. Iterated
monoidal categories encompass, as a special case, the notion of braided tensor
categories, as used in the theory of quantum groups.Comment: 55 pages, 3 PostScript figure
Arrow Categories of Monoidal Model Categories
We prove that the arrow category of a monoidal model category, equipped with
the pushout product monoidal structure and the projective model structure, is a
monoidal model category. This answers a question posed by Mark Hovey, and has
the important consequence that it allows for the consideration of a monoidal
product in cubical homotopy theory. As illustrations we include numerous
examples of non-cofibrantly generated monoidal model categories, including
chain complexes, small categories, topological spaces, and pro-categories.Comment: 13 pages. Comments welcome. Version 2 adds more examples, and an
application to cubical homotopy theory. Version 3 is the final, journal
version, accepted to Mathematica Scandinavic
Free skew monoidal categories
In the paper "Triangulations, orientals, and skew monoidal categories", the
free monoidal category Fsk on a single generating object was described. We
sharpen this by giving a completely explicit description of Fsk, and so of the
free skew monoidal category on any category. As an application we describe
adjunctions between the operad for skew monoidal categories and various simpler
operads. For a particular such operad L, we identify skew monoidal categories
with certain colax L-algebras.Comment: v2: changed title, otherwise minimal change
Traces in monoidal categories
The main result of this paper is the construction of a trace and a trace
pairing for endomorphisms satisfying suitable conditions in a monoidal
category. This construction is a common generalization of the trace for
endomorphisms of dualizable ob jects in a balanced monoidal category and the
trace of nuclear operators on a locally convex topological vector space with
the approximation property
- …