https://www.mscs.dal.ca/~selinger/papers/graphical.pdf https://ncatlab.org/nlab/show/DisCoPy https://arxiv.org/abs/2204.02284 Free gs-Monoidal Categories and Free Markov Categories https://arxiv.org/abs/1308.3586 Abstract Tensor Systems as…

$`\newcommand{\mrm}[1]{\mathrm{#1} } \newcommand{\mvto}{ \twoheadrightarrow } \newcommand{\Iff}{\Leftrightarrow} \newcommand{\Imp}{\Rightarrow} `$関数従属性$`\mrm{FD}(X\to Y)(R) :\Iff \\ \quad \forall t_1, t_1 \in R. \, t_1[X] = t_2[X] \Im…

http://webdam.inria.fr/Alice/pdfs/Chapter-8.pdf より。Movieテーブル title Director Actor Showing〈上映〉テーブル theater screen title snack ： 提供しているスナック（飲料と軽食） 昔は2本立てがあったが、今はほぼない。以前から使っている。学生…

$`\mathfrak{P}(A)`$ \mathfrak{P}(A) $`\wp(A)`$ \wp(A)

テキスト版： ペースティング図版： ストリング図版：

全般的なこと 用途： ドキュメント印刷 vs.写真印刷 方式：インクジェット、レーザー（業務用ドキュメント向け） インク： 染料インク（写真向け）、顔料インク（ドキュメント向け） 基本色シアン、マゼンタ、イエローが染料インク、 ブラックは、染料インク…