Example 4.7.1.12. Let $(S, \leq )$ be a linearly ordered set. Then the identity morphism $\operatorname{id}_{S}: S \xrightarrow {\sim } S$ is an initial segment embedding.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Example 4.7.1.12. Let $(S, \leq )$ be a linearly ordered set. Then the identity morphism $\operatorname{id}_{S}: S \xrightarrow {\sim } S$ is an initial segment embedding.