distributive embedding theorem

Tags: Yoneda lemma, distributive category.