Definition:Category of Open Sets

Definition
Let $X$ be a topological space.

Definition 1
The category of open subsets of $X$ is the small category with:

Definition 2
The category of open subsets of $X$ is the order category of open subsets of $X$ ordered by inclusion.

Also see

 * Definition:Continuous Mapping Functor