Envelopes and refinements in categories, with applications to Functional Analysis

TL;DR

This paper develops a categorical framework for envelopes and refinements, generalizing classical constructions like completions and compactifications, to build duality theories for non-commutative groups with Hopf algebra structures.

Contribution

It introduces a general theory of envelopes and refinements in categories, providing a foundation for duality theories of non-commutative groups using Hopf algebras.

Findings

Envelopes generalize classical completion operations.

Refinements generalize interior enrichment processes.

Framework supports duality theories with Hopf algebra structures.

Abstract

An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a Lie algebra. Dually, a refinement generalizes operations of "interior enrichment", like bornologification (or saturation) of a locally convex space, or simply connected covering of a Lie group. In this paper we define envelopes and refinements in abstract categories and discuss the conditions under which these constructions exist and are functors. The aim of the exposition is to build a fundament for duality theories of non-commutative groups based on the idea of envelope. The advantage of this approach is that in the arising theories the analogs of group algebras are Hopf algebras. At the same time the classical Fourier and Gelfand transforms are interpreted as envelopes with respect to the prearranged classes of algebras.