It looks like you're new here. If you want to get involved, click one of these buttons!
Let \( (P, \le) \) be a preorder. Show that \( z \in P \) is a terminal object if and only if it is maximal: that is, if and only if for all \(c \in P\) we have \(c \le z\).
Previous Next
An object is terminal iff every object has a unique morphism into it. That is, \(\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\).
An object is terminal iff every object has a unique morphism into it. That is, \\(\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\\).
Comments
An object is terminal iff every object has a unique morphism into it. That is, \(\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\).
An object is terminal iff every object has a unique morphism into it. That is, \\(\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\\).