In this paper we examine on a pair of adjoint functors (ϕ^* ,ϕ_*)for a subcategory of the category of crossed modules over commutative algebras where ϕ_*: XMod/P → XMod/Q, induced, and ϕ^*:XMod/Q → XMod/P, pullback (co-induced), which enables us to move from crossed Q-modules to crossed P-modules by an algebra morphism ϕ : P → Q. We show that this adjoint functor pair (ϕ^*,ϕ_*) makes p∶ XMod → k-Alg into a bi- fibred category over k-Alg, the category of commutative algebras, where p is given by p(C,R,∂) = R. Also, we give some examples and results on induced crossed modules in the case when ϕ is an epimorphism or the inclusion of an ideal.
Primary Language | English |
---|---|
Subjects | Mathematical Sciences |
Journal Section | Natural Sciences |
Authors | |
Publication Date | March 29, 2021 |
Submission Date | April 27, 2020 |
Acceptance Date | January 13, 2021 |
Published in Issue | Year 2021 |