#category Top of #topological spaces has as morphisms continuous functions, where a function f is c if inverse image f −1(O) of any open set in #codomain of f is open in domain of f. Thus any cf f from a space X to a space Y defines an inverse mapping f −1 from Ω(Y) to Ω(X).