4 ms·
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 (uni
by hopler 8y ago
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 8y agoI don’t know PLT very well but wouldn’t top/bottom also be considered terminal/initial objects in categorical terms?