とりとめもない 散漫 とっちらかった 木に竹を接いだ

コンテナスキーマの形状と位置集合〈set of positions〉の組 を仮にテンプレートと呼ぶと。以下は同義語。 コンテナスキーマのテンプレート 変数出現を持つ式と変数出現の集合 変数出現を持つ項と変数出現の集合 形状がストリング図のときは、ストリング図と…

一貫性関係は用語が安定してなくて困る。レインンスター〈Tom Leinster〉の"Higher Operads, Higher Categories"での言い方。 一貫性定理と厳密化定理をあまり区別しない。同値な定理だから。 結合律子、単位律子を "coherence isomorphism" と呼んでいる。W…

何日か前に評判になったブログ記事： http​://hants.livedoor.biz/archives/52184019.html 2021年09月28日 梅澤愛優香さんに対する、はんつ遠藤の意見 体に染み付いた醜悪なオジサン構文の事例。 出だしの挨拶「お世話になっております。」 最後の挨拶「お疲…

余クライスリ評価関手の余クライスリ結合 - (新) 檜山正幸のキマイラ飼育記 メモ編 の、新しいターゲット命題に至るまでの等式的変形も書いておこう、忘れないうちに。余クライスリ圏の評価関手 1 ： ターゲット項余クライスリ圏の評価関手 2 ： ソース項＝…

けっこう強力な法則。 だとする。

評価双関手の交替律（エレベーター法則）行列形式表記では：評価関手：新しいターゲット（目的の等式）：