Pullback of quantum principal bundles

We introduce an abstract framework of Cartesian squares beyond the context of fiber products, and use it to extend the notion of pullback from classical to compact quantum principal bundles. Based only on our abstract notion of a Cartesian square, we extend key concepts of Equivariant Topology, such as the pullback of a family of group actions, orbit spaces, slices and global sections, change of base and structure group, free actions, and the groupoid of compact principal bundles. Finally, we embed the thus extended Equivariant Topology inside the 2-category of Grothendieck categories in such a way that our notion of a Cartesian square becomes the appropriate Beck-Chevalley condition.