Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Association of lipoprotein lipase gene with coronary heart disease in Sudanese population

AbstractCardiovascular disease is stabilizing in high-income countries and has continued to rise in low-to-middle-income countries. Association of lipid profile with lipoprotein lipase gene was studied in case and control subject. The family history, hypertension, diabetes mellitus, smoking and alcohol consumption were the most risk factors for early-onset of coronary heart disease (CHD). Sudanese patients had significantly (P<0.05) lower TC and LDL-C levels compared to controls. Allele frequency of LPL D9N, N291S and S447X carrier genotype was 4.2%, 30.7% and 7.1%, respectively. We conclude that lipoprotein lipase polymorphism was not associated with the incidence of CHD in Sudan