https://m-hiyama-memo.hatenablog.jp/entry/20171209/1512807104 からコピー 用語法、表記法 オペレーター | オペレータ | 演算子 | 作用素 | コンビネータ | コンビネーター コンストラクタ | コンストラクター | 構成子 | 構築子 | 生成子 例 トレースオ…

$`\newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\In}{\text{ in } } \newcommand{\B}[1]{ \{\!| #1 |\!\} } \newcommand{\A}[2]{ \langle\!| #1 \mid #2 |\!\rangle } `$$`\text{Basic} :::\\ \forall A \in |\cat{D}|.\\ \forall M \in |\cat{M}|.\\ \…