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.
Someone set up lawvere theory, but did not add anything to it. They had previously done an edit to FinSet. The new page has a redirect from Lawvere+theory, so I don’t see what 88.104.160.245 is doing. Can someone check the edit at [[FinSet]. It looks as if the person knows some things and so has added a bit, but it is so long since I knew that stuff well so I cannot tell if it is a valid edit or not.
It’s basically correct, although one might quibble and want to rewrite the last bit to say, “has one more model in which every sort is interpreted as a set with exactly one element” or something similar. I didn’t bother doing any rewriting, but I did make lawvere theory redirect to Lawvere theory. The editor seems to reside in York, UK.
1 to 2 of 2