Preliminaries.- The category of discrete semilattices and the category of compact zero-dimensional semilattices.- The character theory of compact and discrete semilattices.- Application of duality to… Expand

The geometry of cones wedges in Lie algebras invariant cones the local Lie theory of semigroups subsemigroups of Lie groups positivity embedding semigroups into Lie groups.

The structure of the three dimensional Lie group (2,ℝ) and its universal covering group G is surveyed in an explicit fashion with detailed computational and geometrical information on their… Expand

The first mathematical model of untyped lambda calculus was discovered by DANA SCOTT in the category of algebraic lattices and Scott continuous maps.Expand