Search

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. Further 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.

© 2016, Copyright © Taylor & Francis Group, LLC. We construct a seven-term exact sequence involving low degree cohomology spaces of a Lie algebra 𝔤, an ideal 𝔥 of 𝔤, and the quotient 𝔤/𝔥 with coefficients in a 𝔤-module. The existence of such a sequence follows from the Hochschild–Serre spectral sequence associated to the Lie algebra extension. However, some of the maps occurring in this induced sequence are not always explicitly known or easy to describe. In this article, we give alternative maps that yield an exact sequence of the same form, making use of the interpretations of the low-dimensional cohomology spaces in terms of derivations, extensions, etc. The maps are constructed using elementary methods. This alternative approach to the seven term exact sequence can certainly be useful, especially since we include straightforward cocycle descriptions of the constructed maps. peerreview_statement: The publishing and review policy for this title is described in its Aims & Scope. aims_and_scope_url: http://www.tandfonline.com/action/journalInformation?show=aimsScope&journalCode=lagb20 ispartof: Communications in Algebra vol:44 issue:3 pages:1321-1349 status: published

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point of view makes it possible to interpret Yoneda's Classification Theorem given in his 1960 paper as the result of a canonical factorization, and to extend it to a non-symmetric situation, where the fibration given by the product projection $Pr_0 \colon \mathcal{A} \times \mathcal{B} \to \mathcal{A}$ is replaced by any split fibration over $\mathcal{A}$. This new setting allows us to transfer Yoneda's theory of extensions to the non-additive analog given by crossed extensions for the cases of groups and other algebraic structures.