Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
brief entry superoperator, just for completeness
I have added pointer to:
What I was looking for is the answer to the following question:
In a compact closed category, “superoperators”
$\big(\mathscr{H} \multimap \mathscr{H}\big) \longrightarrow \big(\mathscr{K} \multimap \mathscr{K}\big)$hence
$\mathscr{H} \otimes \mathscr{H}^\ast \longrightarrow \mathscr{K} \otimes \mathscr{K}^\ast$may equivalently be understood as
$\mathscr{H} \otimes \mathscr{K} \longrightarrow \mathscr{H} \otimes \mathscr{K}$and then be composed as such. Is there a standard name for this re-identification and/or the resulting notion of composition of superoperators?
1 to 3 of 3