Quadratic modules bifibred over nil(2)-modules (Q2012169)

It is well-known that the forgetful functor from the category of crossed modules of groupoids to the category of groupoids is both a fibration and a cofibration of categories. Analogous results exist, in the literature, for crossed modules of groups, Lie algebras and commutative algebras. In particular, in the context of cofibred categories, induced crossed modules of groups have been constructed and they have been used to obtain some homotopical results. The object of this paper is to show the corresponding 2-dimensional analogues of these results going up from the category of crossed modules (algebraic homotopy 2-types) to the category of Baues' quadratic modules (algebraic homotopy 3-types). Actually, the authors prove that this last category is bifibred over the category of nil(2)-modules (i.e., precrossed modules with an additional nilpotency condition on its domain) and, in this way, they obtain notions of pullback and induced quadratic module by a morphism of nil(2)-modules.