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