3 ms·Reminds me a lot of David Spivak’s “ologs”, down to the example of how dollars are a vector spaceby pizza 3y agoReminds me a lot of David Spivak’s “ologs”, down to the example of how dollars are a vector space