出版物の構造の図示 3

flowchart TB
  subgraph syntax[Lexicon]
    term([Term])
    phrase([Phrase])
    type[/Type/]
    tag[/Tag/]
    string(("string\ntext"))
    
    phrase-.->|head| term
    phrase-.->|tail| term
  
  end
  
  subgraph publication[Publication]
    label[Label]
    item((("Item\n(Node)")))
    path[path]
   
    path -->|refersTo| item
    path -->|expresses| label
    label -->|isEmbeddedIn| path
    item -.->|"path()"| path

 end
  %% attribute 
  item-.->|id| label %%4
  item-.->|tags| tag
  item -.->|"type()"| type
  item -.->|"title()"| string
  %% occurence
  term -->|occurres| item %%7
  phrase -->|occurres| item
  %% definition
  term -->|isDefinedIn| item
  phrase -->|isDefineIn| item

  %% identification
  label-->|refersTo| item

※※画像

制約条件

$`\newcommand{\mrm}[1]{ \mathrm{#1} }
\newcommand{\T}[1]{ \text{#1} }
%`$
$`
\T{Label.isEmbeddedIn};\T{expresses} = \Delta_\T{Label}\\
\T{Path.expresses};\T{isEmbeddedIn} \subseteq \Delta_\T{Path}
`$

$`
\T{Node.path};\T{refersTo} = \Delta_\T{Node}\\
\T{Path.refersTo};\T{path} \subseteq \Delta_\T{Path}\\
\T{Path.expresses};\T{refersTo} = \T{Path.refersTo}
`$

他にもイッパイある。

制約条件は、2-圏または二重圏の2-射になる。1-射と2-射に関する様々な演算による計算が推論。2-圏または二重圏の公理がメタルールになる。