theo
バンチと圏論を使えばいいのに - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。一般論だが； 集合、部分集合、要素の区別はけっこう難しい。要素と単元集合、ボトム要素と空集合などがある。同様にクラス／型とインスタンスの区別も難しい。クラス／型はス…
IFLA LRM 2017（https://www.ifla.org/wp-content/uploads/2019/05/assets/cataloguing/frbr-lrm/ifla-lrm-august-2017_rev201712.pdf） の Chapter 7 Glossary of Modeling Terminology を読んで思ったこと。ダメなところ： 要素と集合の区別が付いてない、…
参照する、（用語を）使用する、言及する、（用語が）出現する、実体をリンクする、実体に値を付与する、実体に属性を付ける、実体に名前を付ける、名前で実体を参照する、値に型を付ける ‥‥ などの行為〈作業 | タスク〉が何であって、その成果物〈アーティ…
$`\newcommand{\mrm}[1]{ \mathrm{#1} }% \require{color} % 緑色 \newcommand{\Keyword}[1]{ \textcolor{green}{\text{#1}} }% \newcommand{\ClassOf}{\Keyword{ClassOf } }% \newcommand{\Things}{\Keyword{ Things} } %`$関係圏を2-圏のインスタンスとみ…
記述の圏と語彙文脈ツリー$`\newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\u}[1]{\underline{#1} } \newcommand{\cat}[1]{\mathcal{#1} } %`$語彙目録〈lexicon〉を対象として、記述〈description〉を射とする圏 を $`{\bf Desc}`$ とする。圏 $`{\bf De…
まずはこれから： https://ncatlab.org/nlab/show/clone [0810.3162] Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic [1205.3050] Operads, clones, and distributive laws
[1505.00048] PROPs for Linear Systems [2012.01847] String Diagram Rewrite Theory I: Rewriting with Frobenius Structure [2104.14686] String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure [1812.05765] Graphical Regula…
ブログでのタグは： STEM 半形式証明スクリプト xgerby stringer ブックマークでのタグでは： proof-lang string-logic proof-shell tenjin tenjin-dev gergy tagging muses muses-dev とか。理論的背景は： https://math.mit.edu/~dspivak/informatics/olog…
