theHigherGeometer on Nostr: I have a vague memory that John Carlos Baez once made a joke about rgs, which are, ...

I have a vague memory that John Carlos Baez (npub1nf4…nqe4) once made a joke about rgs, which are, like rigs and rngs, are like rings with less assumptions about their structure, namely no (multiplicative) identity *or* negatives. I can't remember where...