「単項式関手のあいだのホムセット」より：これは、ある種のレンズ（レンズの変種は山ほどある）の圏と単項式の圏のあいだの関係を示している。単項式の圏とは、対象を単項式だけに絞った多項式の圏の部分圏。アルファベット順がおかしくなるが、行きがかり…

ダイアグラム・チェイシング（図式に沿った要素の追跡）の代わりに、集合のあいだの同型を使う。記法を簡単にするために、 のホムセットをブラケットで 、集合圏の内部ホム〈指数 | 関数集合 | アロー型〉をベキ〈累乗〉形式 で書く。まず、集合圏の指数法則…

ある文脈では、「射影」は直積の射影ではなく全射でさえない写像を意味する。つまり、「射影」と「写像」は同義語。こういう“文脈”をどうしたら（ある程度）形式化できるだろうか？内容： 記述方法 ファミリー ファミリー： 無共分ファミリー： ファミリー →…

テクニカルタームであっても命名体系〈nomenclature | naming schema〉はほとんど常に腐る。同義語／多義語で錯綜する。well-trained person なら錯綜を整理するのだ。同義・多義を見抜くスキルが必要だから trained じゃないと出来ない。 フォントによる識…