ステイ／メレディス(↓)から辿って、主にローヴェル・セオリー関係の文献。 Logic as a distributive law Mike Stay, Lucius Gregory Meredith 17p https://arxiv.org/abs/1610.02247 ステイ／メレディス(↑)が参照しているもの。まずはハイランド／パワー： T…

コンピュータッドは図形的な対象。シリンダを作ることは意味がある。シリンダはホモトピーと関連する。写像錘とか錐体、簡易懸垂とか、色々と図形的な構成が出来る気がする。コボルディズム圏も作れるのではないか。単に、コンピュータッドの射を考えるので…

defintion and example - 檜山正幸のキマイラ飼育記 メモ編 同義語・多義語の例 - 檜山正幸のキマイラ飼育記 メモ編 指標とモデルと意味論 - 檜山正幸のキマイラ飼育記 メモ編 代数的定義形式とアンビエント構造 - 檜山正幸のキマイラ飼育記 メモ編 決める側…

coherence {axiom | equation | relation | identity | constraint | law} {一貫性 | 整合性}{公理 | 等式 | 関係 | 恒等式 | 制約 | 法則}