representables as collection of generators

Let \(\mathcal{C}\) be a locally small infinity category, \(\mathcal{P}(\mathcal{C})\) be the infinity presheaf category.
Then the colleciton of representable functors is a collection of generators in \(\mathcal{P}(\mathcal{C})\)

follows from the contravariant infinity yoneda lemma, where

1. \(\mathrm{map}_{\mathcal{P}(\mathcal{C})(\mathrm{map}_{\mathcal{C}}(-,c), \mathcal{F}) \cong \mathcal{F}(C)\)
   
2. and higher morphisms follow from the naturality (todo)