Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
http://en.wikipedia.org/wiki/Wheel_theory
This was pointed out by quid on MO, and details what some people may find interesting from the viewpoint of constructive algebra (as in, it might be interesting to give a constructive approach to wheels). I’d never heard of this before, but that probably shouldn’t be surprising.
At worst, something for a moment’s entertainment. It may go on the nLab, it may not, depending on how interested I feel about it :-)
I have been meaning to write a page on these but have never gotten around to it.
It exists now: wheel
Wow, I had forgotten about raising this! Thanks for following up, Toby.
1 to 4 of 4