Definition:Category of Open Sets

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

Also denoted as
Some authors denote the category $\map {\mathbf {Ouv} } T$ of open sets of $T$ by $\map {\mathbf {Op} } T$ or $\map {\mathbf {Open} } T$.

Also see

 * Equivalence of Definitions of Category of Open Sets


 * Definition:Continuous Mapping Functor