Category:Category of Open Sets

From ProofWiki
Jump to navigation Jump to search

This category contains results about Category of Open Sets.
Definitions specific to this category can be found in Definitions/Category of Open Sets.

The category of open sets of $T$, denoted $\map {\mathbf {Ouv} } T$, 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

This category currently contains no pages or media.