Domain Theory Lecture Notes

Summary

] (b) edge[bend right] (tl) (tl) edge[loop above] (tl) (tr) edge[bend right=1.3em] (tl); \end {tikzpicture} } && && && {\begin {tikzpicture} \draw [rounded corners, thick, fill=white] (-0.8,-0.7) rectangle (0.8,1.39); \node (tr) at (0.5,0.5) {$\bullet $}; \node (tl) at (-0.5,0.5) {$\bullet $}; \node (b) at (0,-0.5) {$\bullet $}; \draw [thick] (b) -- (tr) (b) -- (tl); \draw [thick,draw=blue,->] (b) edge[bend right] (tr) (tl) edge[bend left=1.3em] (tr) (tr) edge[loop above] (tr); \end {tikzpicture} } \\ {\begin {tikzpicture} \draw [rounded corners, thick, fill=white] (-0.8,-1.2) rectangle (0.8,0.9); \node (tr) at (0.5,0.5) {$\bullet $}; \node (tl) at (-0.5,0.5) {$\bullet $}; \node (b) at (0,-0.5) {$\bullet $}; \draw [thick] (b) -- (tr) (b) -- (tl); \draw [thick,draw=blue,->] (b) edge[loop below] (b) (tl) edge[loop below] (tl) (tr) edge[bend right=1.3em] (tl); \end {tikzpicture} }\ar [u,ultra thick,-] && {\begin {tikzpicture} \draw [rounded corners, thick, fill=white] (-0.8,-1.2) rectangle (0.8,0.9); \node (tr) at (0.5,0.5) {$\bullet $}; \node (tl) at (-0.5,0.5) {$\bullet $}; \node (b) at (0,-0.5) {$\bullet $}; \draw [thick] (b) -- (tr) (b) -- (tl); \draw [thick,draw=blue] (b) edge[loop below,->] (b) (tl) edge[loop below,->] (tl) (tr) edge[loop below] (tr); \end {tikzpicture} } && {\begin {tikzpicture} \draw [rounded corners, thick, fill=white] (-0.8,-1.2) rectangle (0.8,0.9); \node (tr) at (0.5,0.5) {$\bullet $}; \node (tl) at (-0.5,0.5) {$\bullet $}; \node (b) at (0,-0.5) {$\bullet $}; \draw [thick] (b) -- (tr) (b) -- (tl); \draw [thick,draw=blue,->] (b) edge[loop below] (b) (tr) edge[bend left=1.3em] (tl) (tl) edge[bend left=1.3em] (tr); \end {tikzpicture} } && {\begin {tikzpicture} \draw [rounded corners, thick, fill=white] (-0.8,-1.2) rectangle (0.8,0.9); \node (tr) at (0.5,0.5) {$\bullet $}; \node (tl) at (-0.5,0.5) {$\bullet $}; \node (b) at (0,-0.5) {$\bullet $}; \draw [thick] (b) -- (tr) (b) -- (tl); \draw [thick,draw=blue,->] (b) edge[loop below] (b) (tl) edg...