ParentFull threadrbonvall·There's also a rig (a ring without "n"egatives): https://ncatlab.org/nlab/show/rigI agree. Too cute for its own sake.View on HN