Semidirect products of internal groupoids

Abstract

We give a characterization of those finitely complete categories with initial object and pushouts of split monomorphisms that admit categorical semidirect products. As an application we examine the case of groupoids with fixed set of objects. Further, we extend this to the internal case. (C) 2010 Elsevier B.V. All rights reserved.