Yoneda lemma and representation theorem for double categories

Benedikt Fröhlich, Lyne Moser

We study (vertically) normal lax double functors valued in the weak double category $\mathbb{C}\mathrm{at}$ of small categories, functors, profunctors and natural transformations,…