i 1⊣i 1⊣i 2⊣i 2⊣…i_1\dashv i^1\dashv i_2\dashv i^2\dashv\dots
…if i ji_j are full and faithful.
i 1→η 12i 1i 2i 1i 1→∼i 2→η 23i 2i 3i 2i 2→∼i 3i_1\stackrel{\eta_12 i_1}{\to} i_2 i^1 i_1\stackrel{\sim}{\to} i_2\stackrel{\eta_23 i_2}{\to}i_3 i^2 i_2\stackrel{\sim}{\to}i_3
Created on December 6, 2012 at 04:23:17. See the history of this page for a list of all contributions to it.