Semidirect Products and Wreath Products of Localities
arXiv:1905.03762
Abstract
We develop a theory of semidirect products of partial groups and localities. Our concepts generalize the notions of direct products of partial groups and localities, and of semidirect products of groups.
30 pages