おとなりアンテナ | おすすめページ
2025-03-13モナドの靴を履いたスパンとファミリー、そして二重圏雑記／備忘集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…モナドの靴を履いたスパンとファミリー、そして二重圏
烏蛇ノート
はてなブログ アカデミー法人プラン
