Dear categorists, Are you aware of any work on the category of directed complete partial orders with Lawson-continuous maps? In particular, I'm looking for characterizations of (regular) subobjects and coequalizers (or cokernel pairs). I can't seem to find much in the literature, but surely somebody has looked at this before. Kind regards, Chris [For admin and other information see: http://www.mta.ca/~cat-dist/ ]