Category of open sets
Set
| context | ⟨X,T⟩ … topological space |
| inclusion | Op(X) … category |
| definition | ObOp(X)≡T |
| for all | V,U∈ObOp(X) |
| definition | Op(X)[V,U]≡{i:V→U | i(x)=x} |
Discussion
In the category of open sets, the arrows are the inclusion functions. In the case V⊆U, the hom-set Op(X)[U,V] is the singleton {i} and otherwise it's empty.
Reference
Wikipedia: Sheaf
Parents
Element of
