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.
I added some examples and useful properties.
Thanks!!
I have added defn/prop-numbering.
I do not understand what is meant by “bi-functorial”, phrase added by addelkh. I originally had in version 1 natural in both arguments (binatural) – is that what is meant ? In that case, I think “bi-functorial” is not a very standard term to say that and I can not imagine something else here. Anybody ?
Have also touched the wording of the lead-in paragraphs
and have fixed the publication data of the English version of the main reference:
1 to 7 of 7