Scott のモデルを「矢印の追跡」により構築する．RETRACTION の圏を考える．また，P_infty モデルについても触れる．