1. Noun. (mathematics) The globalization of local morphisms in category theory ¹
¹ Source: wiktionary.com