Envelope (category theory)
From Wikipedia, the free encyclopedia
In category theory and related fields of mathematics, an envelope is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone–Čech compactification of a topological space. A dual construction is called refinement.
![]() | The topic of this article may not meet Wikipedia's general notability guideline. (April 2020) |