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 more discussion to coherence theorems, and took the liberty of renaming the page to be singular. If there was a reason to want it plural, just say so.
This is looking good; itâ€™s not an easy article to write. I added several more possibilities to the list of coherence theorems. I endorse the renaming.
(The case of closed symmetric monoidal categories may be a case of shameless self-promotion. (-: )
1 to 3 of 3