* Any topological space can be viewed as a category by taking the open sets as objects, and a single morphism between two open sets and if and only if .
* Любое топологическое пространство "X" можно рассматривать как категорию, объекты которой — открытые множества и между любыми двумя открытыми множествами, такими что , существует единственный морфизм.