Category:Definitions/Category of Open Sets

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Category of Open Sets.
Related results can be found in Category: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

Pages in category "Definitions/Category of Open Sets"

The following 3 pages are in this category, out of 3 total.