Deck transformations of developable complexes of groups

We introduce the concept of deck transformations within the category of developable complexes of groups. Drawing inspiration from classical covering theory for topological spaces, we propose an alternative construction of the universal development of a developable complex of groups, formulated in terms of equivalence classes of paths. This framework allows us to provide a natural characterization of the group of deck transformations.