# Differences

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

kleene_algebras [2010/07/29 18:30]
127.0.0.1 external edit
kleene_algebras [2010/09/04 17:00] (current)
jipsen
Line 16: Line 16:
==Morphisms== ==Morphisms==
Let $\mathbf{A}$ and $\mathbf{B}$ be Kleene algebras. Let $\mathbf{A}$ and $\mathbf{B}$ be Kleene algebras.
-A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:Aarrow B$ that is a+A morphism from $\mathbf{A}$ to $\mathbf{B}$ is a function $h:A\to B$ that is a
homomorphism: $h(x\vee y)=h(x)\vee h(y)$, $h(x\cdot y)=h(x)\cdot h(y)$, $h(x^{\ast })=h(x)^{\ast }$, $h(0)=0$, homomorphism: $h(x\vee y)=h(x)\vee h(y)$, $h(x\cdot y)=h(x)\cdot h(y)$, $h(x^{\ast })=h(x)^{\ast }$, $h(0)=0$,
and $h(1)=1$. and $h(1)=1$.
Line 24: Line 24:
====Basic results==== ====Basic results====
-[[Kleene algebras (otter)]]
Line 46: Line 45:
^[[Strong amalgamation property]]  | | ^[[Strong amalgamation property]]  | |
^[[Epimorphisms are surjective]]  | | ^[[Epimorphisms are surjective]]  | |
+
====Finite members==== ====Finite members====
Line 63: Line 63:
[[Kleene lattices]] [[Kleene lattices]]
+
====Superclasses==== ====Superclasses====