Groups, but without closure
https://en.wikipedia.org/wiki/Groupoid ?
Yep, that turns out to be the case! Jason Gross also pointed this out to me. I didn’t know it when I wrote that, so I guess it’s a good example at least from my perspective.
https://en.wikipedia.org/wiki/Groupoid ?
Yep, that turns out to be the case! Jason Gross also pointed this out to me. I didn’t know it when I wrote that, so I guess it’s a good example at least from my perspective.