All Questions
1 question
8
votes
1
answer
657
views
What should the morphisms in the Category of Directed Sets be?
Directed sets are defined to be sets equipped with a preorder that admit (finitary) upper bounds e.g. pairs $(D, \preceq)$ such that $\forall p,q \in D$ there exists $r \in D$ such that $p \preceq r$ ...
- 352