“…This category RG B (C) is not pointed, but quasi-pointed [5], in the sense that it has an initial object (B, 1 B , 1 B , 1 B ), a terminal object (B × B, p 1 , p 2 , (1 B , 1 B )) and, moreover, the canonical arrow from the initial to the terminal object is a monomorphism. The category RG B (C) is known to be equivalent to the category PXMod B (C) of (internal) precrossed modules [25] over a fixed object B, also studied in [31,15].…”