An embedding theorem for Hilbert categories

Details An embedding theorem for Hilbert categories An embedding theorem for Hilbert categories

2008-11-10

arxiv.org/abs/0811.1448v2

Theory and Applications of Categories, Vol. 22, 2009, No. 13, pp 321-344

Mathematics

Category Theory

24 pages

Scientific paper

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces and adjointable maps, preserving adjoint morphisms and all finite (co)limits. An intermediate result that is important in its own right is that the scalars in such a category necessarily form an involutive field. In case of a Hilbert category, the embedding extends to the category of Hilbert spaces and continuous linear maps. The axioms for (pre-)Hilbert categories are weaker than the axioms found in other approaches to axiomatizing 2-Hilbert spaces. Neither enrichment nor a complex base field is presupposed. A comparison to other approaches will be made in the introduction.

Affiliated with

Also associated with

No associations

Rating

An embedding theorem for Hilbert categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An embedding theorem for Hilbert categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An embedding theorem for Hilbert categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-724683