Stav dette: Topological transformation groups : a categorical approach / J. de Vries.