I’m a software engineer in San Francisco, CA.
Welcome! I reversed your edit to exponential object, since we don't need (and don't have, in ) additive inverses, but it did inspire me to write 2-rig, so it was helpful. —Toby Bartels
PS: If you join us, you might find it helpful to look at, and log your work to, the Latest Changes forum.