nLab para construction

Contents

Contents

Idea

The Para construction is a variety of strictly related functorial constructions that produce a category of parametric morphisms.

In the simplest case, one starts with a monoidal category ๐’ž\mathcal{C} and builds a category Para(๐’ž)\mathbf{Para}(\mathcal{C}) whose morphisms Aโ†’BA \to B are pairs (P,f)(P,f) where P:๐’žP:\mathcal{C} is a parameter and f:AโŠ—Pโ†’Bf: A \otimes P \to B is a morphism in ๐’ž\mathcal{C}.

Such a morphism might be visualised using the graphical language of monoidal categories (below, left). However, this notation does not emphasise the special role played by PP, which is part of the data of the morphism itself. Parameters and data in machine learning have different semantics; by separating them on two different axes, we obtain a graphical language which is more closely tied to these semantics (below, right).

This gives us an intuitive way to compose parameterised maps:

The Para construction is of relevance in categorical cybernetics, since controlled processes such as machine learning models, economic agents and Bayesian reasoners are straightforwardly modeled as parametric processes of some kind.

Indeed, the notation Para(๐’ž)\mathbf{Para}(\mathcal{C}) was originally introduced in (Fong, Spivak and Tuyeras 2019), and then successively refined in (Gavranovic 2019) and (Cruttwell et al. 2021) for applications to machine learning. (Capucci et al. 2020) generalized the construction from monoidal categories to actegories, in order to capture examples from other areas of categorical cybernetics. A still further generalization and systematization of the Para construction is being developed by David Jaz Myers and Matteo Capucci, see (Myers 2022) and (Capucci 2023).

Nonetheless, the 1-categorical version of Para already appears e.g. in (Hermida & Tennent 2012), with precursors in (Pavlovic 1997). Also, Bakoviฤ‡ 2008, Thm. 13.2 introduces Copara (under a different name) in the very general context of actions of bicategories.

Definition

For monoidal categories

Definition

For (๐’ž,I,โŠ—)(\mathcal{C}, I, \otimes) a monoidal category, Para(๐’ž)\mathbf{Para}(\mathcal{C}) is the bicategory given by the following data:

  • Its objects are the objects of ๐’ž\mathcal{C}.

  • A 1-morphism Aโ†’BA \to B is a choice of a parameter object P:๐’žP \colon \mathcal{C} and a morphism in ๐’ž\mathcal{C} of the form

    f:AโŠ—Pโ†’B. f \colon A \otimes P \to B \,.
  • A 2-morphism (P,f)โ‡’(Q,g)(P, f) \Rightarrow (Q, g) is a morphism r:Pโ†’Qr \colon P \to Q in ๐’ž\mathcal{C} such that the following diagram commutes:

  • Identity morphisms are given by the right unitors:

    (I,ฯ):XโŠ—Iโ†’ฯ XX. (I, \rho) \colon X \otimes I \xrightarrow{\rho_X} X \,.
  • The composite of a map f:AโŠ—Pโ†’Bf \colon A \otimes P \to B and g:BโŠ—Qโ†’Cg \colon B \otimes Q \to C is given by the animation above. In symbols, this is the PโŠ—QP \otimes Q-parameterised map defined as

    AโŠ—PโŠ—Qโ†’fโŠ—QBโŠ—Qโ†’gC A \otimes P \otimes Q \xrightarrow{f \otimes Q} B \otimes Q \xrightarrow{g} C
  • The data of associators and unitors for the bicategory, as well as their coherence diagrams, are defined using those of ๐’ž\mathcal{C}.

If C\mathbf{C} is strict monoidal, then Para(๐’ž)\mathbf{Para}(\mathcal{C}) is a 2-category. One can show that if C\mathbf{C} is commutative, then Para(๐’ž)\mathbf{Para}(\mathcal{C}) is symmetric monoidal, since commutativity of โŠ—\otimes allows one to exhibit an interchange. It is believe this still holds if C\mathbf{C} is just symmetric, making Para(๐’ž)\mathbf{Para}(\mathcal{C}) a symmetric monoidal bicategory.

For actegories

Definition

Let (โ„ณ,I,โŠ—)(\mathcal{M}, I, \otimes) be a monoidal category and let (๐’ž,โŠ™)(\mathcal{C}, \odot) be a right โ„ณ\mathcal{M}-actegory. Then Para(โŠ™)\mathbf{Para}(\odot) is a bicategory with the following data:

  • Its 0-cells are the objects of ๐’ž\mathcal{C}.
  • A 1-cell Aโ†’BA \to B is a choice of a parameter object P:โ„ณP : \mathcal{M} and a morphism
    f:AโŠ™Pโ†’B f : A \odot P \to B

    in ๐’ž\mathcal{C}.

  • A 2-cell (P,f)โ‡’(Q,g)(P, f) \Rightarrow (Q, g) is a morphism r:Pโ†’Qr : P \to Q in โ„ณ\mathcal{M} such that the following commutes:
  • Identity morphisms are given by the unitors:
    (I,ฮท):XโŠ™Iโ†’ฮท XX (I, \eta) : X \odot I \xrightarrow{\eta_X} X
  • The composition of a map f:AโŠ™Pโ†’Bf : A \odot P \to B and g:BโŠ™Qโ†’Cg : B \odot Q \to C is defined as
    AโŠ™(PโŠ—Q)โ‰…(AโŠ™P)โŠ™Qโ†’fโŠ™QBโŠ™Qโ†’gC A \odot (P \otimes Q) \cong (A \odot P) \odot Q \xrightarrow{f \odot Q} B \odot Q \xrightarrow{g} C
  • The data of associators and unitors for the bicategory, as well as their coherence diagrams, are defined using those of โ„ณ\mathcal{M} and โŠ™\odot.

Again, it is folklore that this bicategory is symmetric monoidal when โŠ™\odot is a symmetric monoidal action, meaning ๐’ž\mathcal{C} is monoidal, โ„ณ\mathcal{M} is symmetric and โŠ™\odot is a symmetric monoidal functor.

Also, this construction is 2-functorial from โ„ณAct\mathcal{M}\mathbf{Act} to Bicat\mathbf{Bicat}.

Dual construction: copara and bipara

Given a left โ„ณ\mathcal{M}-actegory, one can produce a bicategory of coparametric morphisms f:Aโ†’PโŠ™Bf: A \to P \odot B by dualizing the above construction in the obvious way. This is known as Copara(โŠ™)\mathbf{Copara}(\odot).

Likewise, given an โ„ณ\mathcal{M}-biactegory there is a bicategory Bipara(โŠ™,โŠ™โ€ฒ)\mathbf{Bipara}(\odot, \odot') whose 1-cells are biparametric morphisms f:AโŠ™Pโ†’QโŠ™Bf: A \odot P \to Q \odot B, whose composition rule uses the bimodulator of the biactegory.

Generalizations

The Para construction naturally generalizes in five different ways (with the first four described in (Myers 2022)):

(1.) Move from bicategories to double categories (in the weak sense): Para(๐’ž)\mathbf{Para}(\mathcal{C}) is usefully thought of as a double category whose tight category is still ๐’ž\mathcal{C}, whose loose maps are parametric morphisms, and whose squares are reparametrizations that commute suitably:

(2.) Allow for colax actions. This includes comonads (and graded comonads more generally), since they are colax actions of the terminal monoidal category; and applying Para to a comonad yields a double categorical version of the coKleisli category of the comonad.

(3.) Allow for โ€œdependent parametersโ€, i.e. for situation in which the parameter PP of a parametric morphism f:AโŠ™Pโ†’Bf: A \odot P \to B actually depends on AA, thus allowing for ff of the form f:(a:A)ร—P(a)โ†’Bf: (a:A) \times P(a) \to B (notation is suggestive). This makes double categories such as Span ( ๐’ž ) \mathbf{Span}(\mathcal{C}) instances of the Para construction (where the left leg encodes the parameter dependency and the right leg is the parametric morphism itself).

(4.) Have the construction take place in complete 2-categories, as opposed to Cat\mathbf{Cat}. This allows to describe Para for structured categories and to apply it to different 2-categorical structures (e.g. indexed categories).

(5.) Internal vs. external parameterisation: given a โ„ณ\mathcal{M}-actegory (๐’ž,โŠ™)(\mathcal{C}, \odot), the Para construction describes parameterisation which is internal to the category ๐’ž\mathcal{C}. For instance, given an action on the category Vect, a morphism f:AโŠ™Pโ†’Bf : A \odot P \to B is a linear map. But often we are interested in morphisms linear only in one variable, for instance, a function f:Set(P,Vect(A,B))f : \mathbf{Set}(P, \mathbf{Vect}(A, B)). In such cases weโ€™re interested in external parameterisation, one which is captured by ๐’ž\mathcal{C} being an object of โ„ณCat\mathcal{M}Cat, instead of โ„ณAct\mathcal{M}Act. A unified perspective on these two approaches is that of a locally graded category.

In categorical cybernetics

Para has been developed to model effectively the compositional structure of controlled processes, such as those involving agents. The examples better developed are in deep learning and game theory, see (Capucci et al. 2020).

The idea that agents are parametric functions is quite old. In fact, agents take in an input AA and produce an output BB. However, they have additional inputs/outputs not available to the โ€œoutside worldโ€, i.e. not part of their composition interface. These can be the weights (or parameters) of a neural network (or a more general ML model), the strategies of a player in an economic game, the control signal of a controlled ODE or a Markov decision process.

Thus agents are naturally modelled as parametric morphisms.

Examples

  • The Cayley graph of a monoid action (together with its category structure) is a low-dimensional example of a Para construction for actegories.

  • When the base category is set to be the category of optics, then Para(Optic(๐’ž))\mathbf{Para(\mathbf{Optic(\mathcal{C})})} recovers the category of neural networks defined in (Capucci et al. 2020).

  • The โ€œmonoidal indeterminatesโ€ construction of Hermida and Tennent is a Para construction for actegories. Hermida and Tennent consider a symmetric monoidal functor j:ฮฃโ†’๐’žj:\mathbf{\Sigma}\to \mathcal{C} (hence: a symmetric monoidal action of ฮฃ\mathbf{\Sigma} on ๐’ž\mathcal{C}) and provide a symmetric monoidal bicategory ๐’ž(x:j)\mathcal{C}(\mathbf{x}:j) and ordinary monoidal category ๐’ž[x:j]\mathcal{C}[\mathbf{x}:j]. The morphisms Xโ†’YX\to Y in ๐’ž(x:j)\mathcal{C}(\mathbf{x}:j) are pairs (w,f)(w,f) where ww is in ฮฃ\mathbf{\Sigma} and f:XโŠ—j(w)โ†’Yf:X\otimes j(w)\to Y in ๐’ž\mathcal{C}.

  • If we quotient Para(๐’ž)\mathbf{Para}(\mathcal{C}) to get a 1-category by equating connecting components of 1-cells, this is a semicocartesian monoidal category. In fact it is the semicocartesian reflection of ๐’ž\mathcal{C}. (See (Hermida and Tennent, Corollary 2.13).) Similarly, quotienting CoPara(๐’ž)\mathbf{CoPara}(\mathcal{C}) gives the semicartesian reflection of ๐’ž\mathcal{C}.

  • In particular, if we start from the category FdIsometry\mathbf{FdIsometry} of finite dimensional Hilbert spaces and isometries, the 1-cells of CoPara(FdIsometry)\mathbf{CoPara}(\mathbf{FdIsometry}) are Stinespring dilations of quantum channels, and the quotiented 1-category is equivalent to the category of quantum channels (see (Huot and Staton 2018)).

References

The Para construction first appears (though not under that name) in:

  • Claudio Hermida, Robert Tennent. Monoidal indeterminates and categories of possible worlds. Theoretical Computer Science vol 430. 2012. Preliminary version in MFPS 2009. doi:j.tcs.2012.01.001

  • Duลกko Pavloviฤ‡, Categorical logic of names and abstraction in action calculi. Math. Structures Comput. Sci. 7 (6) (1997) 619โ€“637. pdf

  • Igor Bakoviฤ‡, Bigroupoid 2-torsors. Dissertation, LMU Mรผnchen: Faculty of Mathematics, Computer Science and Statistics, (pdf)

The terminology โ€œPara constructionโ€ first appears in:

It has then be developed for the purposes of machine learning in:

and generalized further to actegories for the purposes of categorical cybernetics in:

The generalization of the Para construction being developed by David Jaz Myers and Matteo Capucci is expounded in the following talks:

A view on quantum channels via CoPara:

  • Mathieu Huot, Sam Staton, Universal properties in quantum theory (QPL 2018) (pdf).

Last revised on October 15, 2024 at 21:29:54. See the history of this page for a list of all contributions to it.