Fibred-categorical obstruction theory

Abstract

We set up a fibred categorical theory of obstruction and classification of morphisms that specialises to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Fu r t h e r applications are provided to crossed extensions and crossed bimodule butterflies, with in particular a classification of non-abelian extensions of unital associative algebras in terms of Hochschild cohomology.