Topological rigidity as a monoidal equivalence

Topological rings and modules (13J99) Symmetric monoidal categories (19D23) Duality theory for topological vector spaces (46A20) Topological fields, rings, etc. (topological aspects) (54H13)

Abstract: A topological commutative ring is said to be rigid when for every set

X

, the topological dual of the

X

-fold topological product of the ring is isomorphic to the free module over

X

. Examples are fields with a ring topology, discrete rings, and normed algebras. Rigidity translates into a dual equivalence between categories of free modules and of "topologically-free" modules and, with a suitable topological tensor product for the latter, one proves that it lifts to an equivalence between monoids in this category (some suitably generalized topological algebras) and coalgebras. In particular, we provide a description of its relationship with the standard duality between algebras and coalgebras, namely finite duality.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Topological rigidity as a monoidal equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967374)