  Plus constructions are at the nexus of relative bimodules, indexed
enrichments, modules over functors and graphical calculus. We define several of
these in different settings. The first takes a category to a monoidal category
and the second is an endofunctor for monoidal categories. There are localized
and unital versions of these constructions. These serve three main purposes.
The first is to define a notion that generalizes modules over algebras to
monoidal functors and modules. This is realized via indexed enrichment. The
second is to provide a theory of twists, and the third is to classify relative
bimodules over a given groupoid. In this guise they classify bi-module monoids
with respect to a plethysm products over a the homomorphisms of a category
thought of as a bi-module of the underlying groupoid. The presented plus
constructions generalize the plus construction for Feynman categories and
explain the appearance of the plethysm monoid definition for operads, properads
and props. To this end we introduce a new notion of unique factorization
category (UFC) and show that the plus construction of a hereditary UFC is a
Feynman category. Just as finite sets are the fundamental indexing Feynman
category cospans are the fundamental indexing category hereditary UFC. We give
a local presentation of these constructions as well as a global description of
the morphisms and a graphical version using decorated groupoid colored graphs.
We furthermore consider an enriched setting. The global presentation utilizes
pasting diagram from 2-categories or equivalently double categories, which is
of independent interest. The graphical description is a consequence of the
local definition. In the special case of a UFC there is also a formalism with
groupoid colored graphs. In both cases levels appear when one adds units, which
clarifies their role in this type of construction.
