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.
Discovered that we have this stub entry, prompted by discussion here
Added pointer to the definition in
which looks different from what the entry states (without reference).
Googling, the first hit is Wikipedia, which agrees with the other definition here, but cites the nLab for it.
I don’t have the leisure now to look into this. Maybe somebody else does. I have left a warning “under construction” at the top of the entry.
1 to 1 of 1