The Bicategory-Theoretic Solution of Recursive Domain Equations 1

We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop a bicategorical theory for recursively defined domains in accordance with Axiomatic Domain Theory.