双圏の米田

双圏の概念色々を考えるにあたって、双圏の米田埋め込みをひとつのランドマークにするといいかも知れない。

米田埋め込み B→[B^op, Cat] こ構成と、それが埋め込みであること、双圏の双同値であることをどうやって示すか、そのための準備は何か？