(untitled)

Like with categories, the object mapping of an order is represented by a function between the orders’ underlying sets. -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/10_functors/index.html