2 ms·
I don’t know PLT very well but wouldn’t top/bottom also be considered terminal/initial objects in categorical terms?
by smadge 8y ago
I don’t know PLT very well but wouldn’t top/bottom also be considered terminal/initial objects in categorical terms?