mathematical concept of higher-categorical generalizations of gluing of local data