# Category:Definitions/Category of Open Sets

The category of open sets of a topological space $T = \left({S, \tau}\right)$ is the small category with:
 Objects: open sets of $T$ Morphisms: inclusion mappings between subsets, none otherwise Composition: composition of mappings Identity morphisms: identity mappings