Topologies and Sheaves

@inproceedings{Tamme1994TopologiesAS,
  title={Topologies and Sheaves},
  author={G{\"u}ter Tamme},
  year={1994}
}
Let X be a topological space, and let T denote the family of all open subsets of X. T becomes a category if we define $$ Hom(U,V) = \left\{ {\begin{array}{*{20}{c}} 0&{if U \not\subset V} \\ {inclusion U \to V}&{if U \subset V} \end{array}} \right.$$ for U,V ∈ T. X is a final object in the category T. The intersection ∩U i of finitely many U1,…, U n in T is equal to the product of the U1,…, U n in the category T. The union ∪ U i of arbitrarily many U i in T is equal to the direct sum of… CONTINUE READING