On conjugates and adjoint descent (Q1676528)

In the context of \(\infty\)-categories the authors give an abstract definition of conjugate objects, generalizing examples in commutative algebra, homotopy theory and group theory. Let \(\mathcal{D}_{\bullet}\) denote an \(I\)-diagram (where \(I\) is a simplicial set) and let \(\mathcal{C}\) be an \(\infty\)-category. On the one hand, the authors classify conjugate objects as a particular case of a comparison functor \[ F:\mathcal{C}\to \lim_{\longleftarrow}(\mathcal{D}_{\bullet}) \] On the other hand, they give a right adjoint to the comparison functor \(F\). The description of this adjunction provides a concrete formula for the unit and counit. In addition, they describe an example where the process can be reversed: given an adjunction, they get new information by representing one of the categories as a limit of a certain diagram and using the specific description of the adjoint.