圏論 プログラミング 対象 型 射 関数、手続き、etc. (無名 1) 型構成子 関手 (無名 2) (無名 3) アドホック多相関数 自然変換 パラメトリック多相関数 備考： (無名 1) は、対象構成子または単に構成子〈コンストラクタ〉と呼べばよい。拡張スタイルのモナ…

教育的に不可避な方便 回避可能な嘘 儀礼的な〈お約束としての〉嘘 ： 厳密には嘘だが、ほとんど慣例化している表現。 例： 集合Gは群とする。 弾力的な嘘 ： 解釈側が文脈を考慮しながら弾力的に解釈すれば意味が通じると期待できる表現。例： ツリー状のス…

ビデオとテキスト〈解説論文〉 Chris Schommer-Pries: The unicity of the homotopy theory of higher categories. https://www.youtube.com/watch?v=52HujNvYbAY Clark Barwick, Chris Schommer-Pries https://arxiv.org/abs/1112.0040 Julia E. Bergner ht…