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 remarks to adjoint equivalence about improving equivalences to adjoint ones, with links to&from equivalence and equivalence in a quasicategory.
I added a bit more detail to adjoint equivalence about how an equivalence can be improved to an adjoint one, including a string diagram picture of the modified counit.
I added some more interesting facts, along with some string diagram proofs. For some reason the QED boxes at the end of the proof environments are not displaying in my browser; does anyone else see them?
I’m using Firefox 3.6.12 on a Macbook and they are not there. I checked on Safari and there everything goes wrong! (The letters on then svg diagrams are slightly out of position) STILL NO END OF PROOF SIGNS.
I seems that the problem is the SVGs included in the Proof environments. Removing them makes the QED-box re-appear.
Here only Andrew can help.
I added to adjoint equivalence a link to Nick Gurski’s paper about adjointifying biequivalences in tricategories.
1 to 6 of 6