Colimits of crossed modules in modified categories of interest (Q2200447)

The notions of groups with operations [\textit{P. J. Higgins}, Proc. Lond. Math. Soc. (3) 6, 366--416 (1956; Zbl 0073.01704)] and category of interest [\textit{G. Orzech}, J. Pure Appl. Algebra 2, 287--314 (1972; Zbl 0251.18016)] were defined to unify definitions and properties of different algebraic categories and algebras. Categories of groups, Lie algebras, Leibniz algebras, associative (commutative) algebras, dialgebras and many others are basic examples of categories of interest, but the categories of cat\(^1\)-objects of such algebraic structures are not categories of interest. The axioms of categories of interest were modifed in [\textit{Y. Boyaci} et al., Theory Appl. Categ. 30, 882--908 (2015; Zbl 1318.18001)] and the new categories were called {\em modified categories of interest}. For example every category of interest is a modified category of interest. More examples of modified categories of interest are those, which are equivalent to the categories of crossed modules in the categories of groups, associative algebras, commutative algebras, dialgebras, Lie algebras, Leibniz algebras, etc. The modified categories of interest also enable us to unify some categorical properties of crossed modules. In this context, constructions of limits of crossed modules in a modified category of interest are given in [\textit{K. Emir} and \textit{S. Çetin}, Bull. Iran. Math. Soc. 43, No. 7, 2617--2634 (2017; Zbl 1405.18008)] that yields the completeness of the corresponding category. In this paper the authors prove that a category of crossed modules in modified categories of interest has all finite colimits and hence it is (finitely) cocomplete.