In the category of racks (similarly quandles), instead of well-known semidirect product, we have the hemi-semi direct product construction as seen on Wagemann & Crans.
As far as I know, semi direct product, categorically, has sense under colimit issue; question here.
I wonder if any clear algebraic or categorical explanation of hemi-semi direct products which makes this notion more coherent for me?
Also does this hemi-semi direct product have any relation with the normal semidirect product under the light of functor $\mathbf{Conj \colon Grp \to Rack}$?
