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:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“She was so overcome by the splendor of his achievement that she took him into the closet and selected a choice apple and delivered it to him, along with an improving lecture upon the added value and flavor a treat took to itself when it came without sin through virtuous effort. And while she closed with a Scriptural flourish, he “hooked” a doughnut.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“A continual feast of commendation is only to be obtained by merit or by wealth: many are therefore obliged to content themselves with single morsels, and recompense the infrequency of their enjoyment by excess and riot, whenever fortune sets the banquet before them.”
—Samuel Johnson (1709–1784)