2025-03-13
モナドの靴を履いたスパンとファミリー、そして二重圏
雑記／備忘
集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…
モナドの靴を履いたスパンとファミリー、そして二重圏
AIによる業務管理はどう実現することになるだろうか - きしだのHatena
※ 2025/03/05追記 Matt Welsh氏が2023年の正月(ChatGPT登場直後)に「most software, as we know it, will be replaced by AI systems that are trained rather than programmed(既存の多くのソフトウ