A general concept in Category Theory involving the globalization of topological or differential structures.
