Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark 11.6.0.63 (The Universal Mapping Property of Representable Profunctors). The contents of this tag are now at Corollary .

Proof. Combine Propositions 8.3.4.20 and 7.3.6.1. $\square$