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.
To add these to the nLab they would have to be relevant to parts of mathematics outside your work. Do you have any examples which are not cooked up from funcoids etc? Can you prove any theorems about these that are outside funcoid theory? If not, their utility to the nLab project is minimal, and might be best left on your own site for now.
1 to 2 of 2