If I have an adjunction of infinity-categories, I get a unit and a counit map. Am I correct in thinking that to prove that these two maps satisfy the triangle identities, one can, with some extremely minor changes, just copy the proof given here?
en.wikipedia.org/wiki/…