julesh on Nostr: nprofile1q…chszg How short is short? If I remembered correctly that's the topic of ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg (nprofile…hszg) How short is short? If I remembered correctly that's the topic of the first half of Lambek & Scott Introduction to higher order categorical logic