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.
1 to 3 of 3
basic definition and reference to Mellies' survey <a href="https://ncatlab.org/nlab/revision/linear-non-linear+adjunction/1">v1</a>, <a href="https://ncatlab.org/nlab/show/linear-non-linear+adjunction">current</a>
basic definition and reference to Mellies’ survey
v1, current
fixed diagram <a href="https://ncatlab.org/nlab/revision/linear-non-linear+adjunction/1">v1</a>, <a href="https://ncatlab.org/nlab/show/linear-non-linear+adjunction">current</a>
fixed diagram
fixed links <a href="https://ncatlab.org/nlab/revision/linear-non-linear+adjunction/1">v1</a>, <a href="https://ncatlab.org/nlab/show/linear-non-linear+adjunction">current</a>
fixed links