In category theory and general topology, a topological functor is one which has similar properties to the forgetful functor from the category of topological spaces. The domain of a topological functor admits construction similar to initial topology (and equivalently the final topology) of a family of functions. The notion of topological functors generalizes (and strengthens) that of fibered categories, for which one considers a single morphism instead of a family.[1]: 407, §1