| http://www.w3.org/ns/prov#value | - Since the union of two finite sets is finite, your category $I$ is always a directed poset in the usual sense (for any two objects, there is a third that is greater than both) but if you want to talk about mapping telescopes I guess you need a poset isomorphic to the natural numbers under the usual ordering.
|
