A more explicit description of Morita equivalence (e.g. useful to check that it is an equivalence relation) requires the existence of two surjective submersions P → → G 0 and P → → H 0 together with a left G -action and a right H -action, commuting with each other and making P into a principal bi-bundle.