Definition 4.21.4. Let $I$ be a preordered set. We say a system (resp. inverse system) $(M_ i, f_{ii'})$ is a directed system (resp. directed inverse system) if $I$ is a directed set (Definition 4.21.1): $I$ is nonempty and for all $i_1, i_2 \in I$ there exists $i\in I$ such that $i_1 \leq i$ and $i_2 \leq i$.

There are also:

• 1 comment(s) on Section 4.21: Limits and colimits over preordered sets

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).