Related papers: Infinite loop spaces, and coherence for symmetric …

In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and…

We prove that a category which is symmetric (relaxed) monoidal closed, (small) complete, well-powered and has a small cogenerating family, is cocomplete.

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…

In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…

In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category…

This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in early 1970s. We find this result of great importance for…

In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories D->C whose fibers are symmetric monoidal categories parametrized by C and such that both D and C have a further…

The category of double categories and double functors is equipped with a symmetric closed monoidal structure. For any double category $\mathbb A$, the corresponding internal hom functor $|[ \mathbb A,-]|$ sends a double category $\mathbb B$…

The aim of this paper is to explain the relationship between the (co)homology of the free loop space and the Hochschild homology of its singular cochain algebra. We introduce all the relevant technical tools, namely simplicial and cyclic…

This paper explores the relationship amongst the various simplicial and pseudo-simplicial objects characteristically associated to any bicategory C. It proves the fact that the geometric realizations of all of these possible candidate…

It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory…

We present a method of constructing monoidal, braided monoidal, and symmetric monoidal bicategories from corresponding types of monoidal double categories that satisfy a lifting condition. Many important monoidal bicategories arise…

It is an old conjecture, that finite $H$-spaces are homotopy equivalent to manifolds. Here we prove that this conjecture is true for loop spaces. Actually, we show that every quasi finite loop space is equivalent to a stably parallelizable…

We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely…

We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category…

We present an expository overview of the monoidal structures in the category of linearly compact vector spaces. Bimonoids in this category are the natural duals of infinite-dimensional bialgebras. We classify the relations on words whose…

A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…

In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…