[Haskell-cafe] Re: Positive integers

ajb at spamcop.net ajb at spamcop.net
Sun Mar 26 17:58:26 EST 2006

G'day all.

Quoting Jared Updike <jupdike at gmail.com>:

> Surprisingly, there is a page on MathWorld about Torsors but it is
> empty. Google turned up the following page with a good explanation.
> http://math.ucr.edu/home/baez/torsors.html

Ah, right.  So "torsor" is just a short name for "regular group
action",which in turn is a short name for "free transitive group

We discussed these previously in the context of other kinds of
difference types:


Andrew Bromage

More information about the Haskell-Cafe mailing list