Envelope (category theory)

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.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search