12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 17:53, 15 May 2013
, 17:53, 15 May 2013→6.43. Reflective Extensions: markup
& = &
& = &
\operatorname{proj}_{OS} (\operatorname{Ref}^1 (L))
\operatorname{proj}_{OS} (\operatorname{Ref}^1 (L))
\\[4pt]
\\[6pt]
\operatorname{Con}^1 (L)
\operatorname{Con}^1 (L)
& = &
& = &
\end{array}</math>
\end{array}</math>
|}
|}
The dyadic components of sign relations can be given graph-theoretic representations, namely, as ''digraphs'' (directed graphs), that provide concise pictures of their structural and potential dynamic properties. By way of terminology, a directed edge <math>(x, y)\!</math> is called an ''arc'' from point <math>x\!</math> to point <math>y,\!</math> and a self-loop <math>(x, x)\!</math> is called a ''sling'' at <math>x.\!</math>
<pre>
<pre>
The denotative components Den1 (A) and Den1 (B) can be viewed as digraphs on the 10 points of the world set W. The arcs of these digraphs are given as follows:
The denotative components Den1 (A) and Den1 (B) can be viewed as digraphs on the 10 points of the world set W. The arcs of these digraphs are given as follows:
