2024-12-20 関手のデカルト射とファイバー付き圏 雑記／備忘 ファイバー付き圏〈{fibred | fibered} category〉は、圏論で重要な概念です。ファイバー付き圏の実体は（圏ではなくて）関手です。とある性質を持つ持別な関手がファイバー付き圏です。「とある性質」を記述するためには、関手に伴うデカルト射という概念を… 2024-12-18 クラン、ファイブレーション、スパン 雑記／備忘 クラン〈clan〉は、ジョイアル〈Andre Joyal〉によって導入された圏論的構造〈構造付きの圏〉です。ジョイアルは、型理論の理論〈theory of type theories〉の基礎としてクランを定義したようです。クランとその双対であるコクランは型理論や計算科学で有用… 2024-12-16 レンズ／プロ関手とWeb処理アーキテクチャ 雑記／備忘 レンズを説明するための事例として