4 ms·
All the semantic arguments here would disappear if we all simply recognized the "set of continents" for what it really is: a set-valued sheaf on some parameter
by ihm 9y ago
All the semantic arguments here would disappear if we all simply recognized the "set of continents" for what it really is: a set-valued sheaf on some parameter space (https://xorshammer.com/2016/07/24/the-cgp-grey-topos-of-continents/ https://xorshammer.com/2016/07/24/the-cgp-grey-topos-of-cont...).