[hopler]

LCM and GCD are meet and join (union supertype and intersection subtype in PLT), not top and bottom. Top/any would correspond to the product of all numbers (union of all factors), and bottom/never would correspond to 1 (intersection of all factors).

[smadge]

I don’t know PLT very well but wouldn’t top/bottom also be considered terminal/initial objects in categorical terms?