Definition:Category of Open Sets/Definition 1

Definition
Let $T = \struct {S, \tau}$ be a topological space.

The category of open sets of $T$, denoted $\map {\mathbf {Ouv} } T$, is the small category with:

Also see

 * Equivalence of Definitions of Category of Open Sets