As discussed in the comments under this answer:
What choice of morphisms on the category of ordinals yields Hessenberg arithmetic, i.e. the Hessenberg sum as the categorical coproduct and the Hessenberg product as the categorical product?
Furthermore, if the morphisms are order-preserving maps, do coproducts or products exist?