The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

Identification, expression, function and localization of a DUF985 domain-containing hypothetical gene from amphioxus Branchiostoma belcheri

The progress in genome sequencing has led to an increasing submission of uncharacterized hypothetical genes with the domain of unknown function, DUF985, in GenBank, and none of these genes is related to a known protein. We therefore underwent an experimental study to identify the function of a DUF985 domain-containing hypothetical gene BbDUF985 (GenBank Accession No. AY273818) isolated from amphioxus Branchiostoma belcheri (B. belcheri). BbDUF985 was successfully expressed in both prokaryotic and eukaryotic systems, and its recombinant proteins expressed in both systems definitely exhibited an activity of phosphoglucose isomerase (PGI). Both tissue-section in situ hybridization and immunohistochemistry demonstrated that BbDUF985 was expressed in a tissue-specific manner, with most abundant levels in the hepatic caecum and ovary. In CHO cells transfected with the expression plasmid pEGFP-N1/BbDUF985, the fusion protein was targeted in the cytoplasm of CHO cells, suggesting that BbDUF985 is a cytosolic protein. In contrast, Western blotting indicated that BbDUF985 was also present in amphioxus humoral fluids, suggesting that it exists as a secreted protein as well. Our study provided a framework for further understanding the biochemical properties and physiological function of DUF985-containing hypothetical proteins in other species. (c) 2008 Elsevier Inc. All rights reserved.