Nuclear and trace ideals in tensored \(^*\)-categories

DOI10.1016/S0022-4049(98)00106-6zbMath0946.18004arXivmath/9805102OpenAlexW2018430837WikidataQ57006764 ScholiaQ57006764MaRDI QIDQ1818626

Prakash Panangaden, Samson Abramsky, Richard F. Blute

Publication date: 15 February 2000

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9805102

zbMATH Keywords

Hilbert spacescompact closed categorytrace ideals*-autonomous categoryHilbert-Schmidt mapsnuclear idealnuclear morphismPolish probability spacesprobabilistic relationstame distributionstensored *-category

Mathematics Subject Classification ID

Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10) Topological linear spaces of test functions, distributions and ultradistributions (46F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Measures and integrals in product spaces (28A35) Tensor products in functional analysis (46M05) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items

Measuring the probabilistic powerdomain ⋮ Bialgebras in Rel ⋮ A quantum double construction in Rel ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Eilenberg--Moore algebras for stochastic relations ⋮ Involutive categories and monoids, with a GNS-correspondence ⋮ Deep inference and probabilistic coherence spaces ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Towards a typed Geometry of Interaction ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Proofs as Polynomials ⋮ On the Functor ℓ2 ⋮ Dialogue Categories and Frobenius Monoids ⋮ The converse of a stochastic relation ⋮ Weak bisimulations for the Giry monad ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ A categorical foundation for Bayesian probability ⋮ Dynamical systems and sheaves ⋮ Feedback for linearly distributive categories: Traces and fixpoints ⋮ Measure and probability for concurrency theorists ⋮ Conformal Field Theory as a Nuclear Functor