集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…