Differences

This shows you the differences between two versions of the page.

categories [2016/11/26 22:28]
jipsen
categories [2016/11/27 09:54] (current)
jipsen
Line 8: Line 8:
$\langle C,\circ\rangle$ is a (large) [[partial semigroup]] $\langle C,\circ\rangle$ is a (large) [[partial semigroup]]
 +
 +dom amd cod are total unary operations on $C$ such that
$\text{dom}(x)$ is a left unit:  $\text{dom}(x)\circ x=x$ $\text{dom}(x)$ is a left unit:  $\text{dom}(x)\circ x=x$
$\text{cod}(x)$ is a right unit:  $x\circ\text{cod}(x)=x$ $\text{cod}(x)$ is a right unit:  $x\circ\text{cod}(x)=x$
- 
-$\text{dom}(\text{dom}(x))=\text{dom}(x)=\text{cod}(\text{dom}(x))$ 
- 
-$\text{cod}(\text{cod}(x))=\text{cod}(x)=\text{dom}(\text{cod}(x))$ 
if $x\circ y$ exists then $\text{dom}(x\circ y)=\text{dom}(x)$ and $\text{cod}(x\circ y)=\text{cod}(y)$ if $x\circ y$ exists then $\text{dom}(x\circ y)=\text{dom}(x)$ and $\text{cod}(x\circ y)=\text{cod}(y)$
Line 41: Line 39:
====Basic results==== ====Basic results====
 +$\text{dom}(\text{dom}(x))=\text{dom}(x)=\text{cod}(\text{dom}(x))$
 +
 +$\text{cod}(\text{cod}(x))=\text{cod}(x)=\text{dom}(\text{cod}(x))$
====Properties==== ====Properties====