We present a new explicit construction of categorical semidirect products in an arbitrary variety V of right $\Omega$-loops and use it to obtain simplified descriptions of internal precrossed and crossed modules in V.
Keywords: semidirect products, variety of right loops, crossed module, precrossed module
2000 MSC: 08C05, 18D35, 18G50, 18C10
Theory and Applications of Categories, Vol. 25, 2011, No. 16, pp 426-435.
Published 2011-10-30.
http://www.tac.mta.ca/tac/volumes/25/16/25-16.dvi
http://www.tac.mta.ca/tac/volumes/25/16/25-16.ps
http://www.tac.mta.ca/tac/volumes/25/16/25-16.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/25/16/25-16.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/25/16/25-16.ps