Crossed complexes have longstanding uses, explicit and implicit, in homotopy theory and the cohomology of groups. It is here shown that the category of crossed complexes over groupoids has a symmetric monoidal closed structure in which the internal Hom functor is built from morphisms of crossed complexes, nonabelian chain homotopies between them and similar higher homotopies. The tensor product...

A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some coherence conditions. The coherence theorem asserts the commutativity of all linear diagrams involving the left and right unitors, the associator and the braidi...

Rios and Selinger have recently proposed a categorical model for the quantum programming language Proto-Quipper-M, which is an important fragment of the Quipper language. In this work, we describe an extension to their categorical model with the additional property that it is DCPOenriched, bringing us closer to modeling general recursion in the language. Similar to their model, our model exhibi...

We introduce a variant on the graphical calculus of Cockett and Seely[2] for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F : A −→ B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannak...

We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for structure isomorphisms. In particular, the Hopf category is monoidal.

For fixed object X in a monoidal category, an X-commutation structure on an object A is just a map X⊗A → A⊗X. We study aspects of such structures in case A has a dual object. We consider a monoidal category V,⊗, I; for simplicity we let it be strict (the application we have in mind is anyway a category of endofuncors on a category, with composition as ⊗). Let X be an object in V, fixed througho...

A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination relevant comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets...

This paper is a study of monoidal categories with duals where the tensor product need not be commutative. The motivating examples are categories of representations of Hopf algebras. We introduce the new notion of a spherical category. In the first section we prove a coherence theorem for a monoidal category with duals following [MacLane 1963]. In the second section we give the definition of a s...