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.
Are there any references to anyone ever using this concept?
I was wondering the same, and the answer is probably: No.
But I suppose I do see the logic behind this recent wave of entries, given our recent discussion at pseudo-torsor, and that makes me appreciate it:
Pseudo-torsors are certainly relevant (as witnessed, if proof by authority is needed, by the references there, if nothing else).
But once one accepts that pseudo-torsor over groups are relevant, and at the same time has the ambition of comprehensive algebraic notions, then it does follow that one will want to go and redo the whole edifice of the magma-tic foundations of algebra in the “possibly emtpy”-way.
That’s anyways how I understand the recent activity by Anonymous, and that makes me appreciate it. Also, I like the care with which the entries are done.
What is missing a little, I think, is some comments in an Idea-section that would explain, along the above lines, the motivation for these somewhat funny looking conceptualizations.
1 to 4 of 4