But its conclusion was wrong (this is all correct until the ‘solution’, which repeats the definition of a (−1)-category instead):
TobyBartels on Nostr: nprofile1q…ufa4k But its conclusion was wrong (this is all correct until the ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k)
But its conclusion was wrong (this is all correct until the ‘solution’, which repeats the definition of a (−1)-category instead):
But its conclusion was wrong (this is all correct until the ‘solution’, which repeats the definition of a (−1)-category instead):