Definition Via Closed Sets
Objects: all pairs (X,T) of set X together with a collection T of subsets of X satisfying:
- The empty set and X are in T.
- The intersection of any collection of sets in T is also in T.
- The union of any pair of sets in T is also in T.
- The sets in T are the closed sets.
Morphisms: all functions such that the inverse image of every closed set is closed.
Comments: This is the category that results by replacing each lattice of open sets in a topological space by its order-theoretic dual of closed sets, the lattice of complements of open sets. The relation between the two definitions is given by De Morgan's laws.
Read more about this topic: Characterizations Of The Category Of Topological Spaces
Famous quotes containing the words definition, closed and/or sets:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“Because you live, O Christ,
the spirit bird of hope is freed for flying,
our cages of despair no longer keep us closed and life-denying.
The stone has rolled away and death cannot imprison!
O sing this Easter Day, for Jesus Christ has risen!”
—Shirley Erena Murray (20th century)
“bars of that strange speech
In which each sound sets out to seek each other,
Murders its own father, marries its own mother,
And ends as one grand transcendental vowel.”
—Randall Jarrell (1914–1965)