We define the phrase ‘category enriched in an fc-multicategory’ and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal categories and ordinary multicategories. Enrichment in an fc-multicategory extends the (more or less well-known) theories of enrichment in a monoidal category, in a b...

We give a new formulation of attribute grammars (AG for short) called monoidal AGs in traced symmetric monoidal categories. Monoidal AGs subsume existing domain-theoretic, graph-theoretic and relational formulations of AGs. Using a 2-categorical aspect of monoidal AGs, we also show that every monoidal AG is equivalent to a synthesised one when the underlying category is closed, and that there i...

The category of group-graded modules over an abelian group G is a monoidal category. For any bicharacter of G this category becomes a braided monoidal category. We define the notion of a Lie algebra in this category generalizing the concepts of Lie super and Lie color algebras. Our Lie algebras have n-ary multiplications between various graded components. They possess universal enveloping algeb...

The classical infinite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of -1-connective spectra. Introduction Since the early seventies it has been known that the classifying spaces of small symmetric monoidal categories are infinite loop spaces, the zeroth space in a spectrum...

We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of left-right constraints, and is motivated by higher category theory. To start, we describe the semi-monoidal category of all possible unit structures on a given sem...

Joyal and Street note in their paper on braided monoidal categories [10] that the 2–category V–Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. What is meant by “based upon” here will be made more clear in the present paper. The exception that they mention is the case in which V is symmetric, which leads to V–Ca...

Joyal and Street note in their paper on braided monoidal categories [9] that the 2–category V –Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V . The exception that they mention is the case in which V is symmetric, which leads to V –Cat being symmetric as well. The symmetry in V –Cat is based upon the symmetry of...

Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R4 can be described as certain 2-morphisms in the 2-category of ‘2-tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the ‘free semistrict braided monoidal 2-category with duals on one un...

We put a monoidal model category structure (in the sense of Quillen) on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simpli es the method used by the author in [Gil04] and [Gil06] to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves o...