Let there be given, on a category C, a pair (*, *) of adjoint monoidal closed-category-valued pseudofunctors. Thus, to each object X ∈ C is associated a closed category DX , with unit object OX ; and to each C-map ψ : X → Y , adjoint monoidal functors DX ψ∗ ←−− −→ ψ∗ DY . There are also, as before, compatibilities—expressed by commutative diagrams—among adjunction, pseudofunctoriality, and mono...

We illustrate a minor error in the biadjointness result for 2-categories of traced monoidal categories and tortile monoidal categories stated by Joyal, Street and Verity. We also show that the biadjointness holds after suitably changing the definition of 2-cells. In the seminal paper “Traced Monoidal Categories” by Joyal, Street and Verity [4], it is claimed that the Int-construction gives a le...

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the p...

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 structure of a symmetric monoidal category that satisfy certain coherences that we describe. Our goal is to show that we can correspond to a fibered symmetric b...

Abstract. This paper contains the construction, examples and properties of a trace and a trace pairing for certain morphisms in a monoidal category with switching isomorphisms. Our construction of the categorical trace is a common generalization of the trace for endomorphisms of dualizable objects in a balanced monoidal category and the trace of nuclear operators on a topological vector space w...

Given any symmetric monoidal (closed) category C and any suitable collections W of objects of C, it is shown how to construct C[W], a polynomial such category, the result of freely adjoining to C a system of monoidal indeterminates for every element of W. It is then shown that all of the categories of “possible worlds” used to treat languages that allow for dynamic creation of “new” variables, ...