The ∞-Categorical Yoneda Lemma

Expository note via left fibrations, straightening–unstraightening, and finality.

Read the PDF