Is the notion of an adjunction well defined in an arbitrary weak $2$-category? In particular, it seems like we need at least invertible unitors in the ambient $2$-category to write down the triangle identities. For a pair of antiparallel arrows $f:X\leftrightarrows Y:g$ in a $2$-category $\mathfrak{C}$ with unit $\eta:1_X\Rightarrow g\circ f$ and counit $\epsilon:f\circ g\Rightarrow1_Y$ we would like to write the triangle identities as follows [![fake triangle identities][1]][1], and as seen on the [nLab][2] entry for adjunctions, but in a weak $2$-category this diagram is incorrect. We've omitted the units and unitors: [![real identities baby][3]][3] In a partially weak $2$-category with invertible unitors this is okay, but in a fully weak $2$-category the unitors aren't invertible so the above diagrams are still wrong -- can we coherently define adjunctions inside a fully weak $2$-category? At the $2$-categorical level we know that a fully weak $2$-category is equivalent to a fully strict one, and I suspect this allows for a workaround. At the $3$-categorical level we can only strictify $2$ of $3$ notions among associativity, units and interchange, so if a workaround exists at the $2$-categorical level we can probably strictify units in the equivalent weak $3$-category and repeat the solution one dimension up. At dimension $4$ and beyond we aren't certain about weakness being equivalent to strictness, so a workaround not using the strictification process would apply more generally with current technology. [1]: https://i.sstatic.net/TH3Vp.png [2]: https://ncatlab.org/nlab/show/adjunction [3]: https://i.sstatic.net/PtXIC.png