Definition:Category of Open Sets/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

The category of open sets of a topological space $T = \left({S, \tau}\right)$ 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


Also see