Cartesian differential categories revisited

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over Cartesian categories, so that every Cartesian category has an associated cofree differential category. We also work out the corresponding results when the categories involved have restriction structure, and show that these categories are closed under splitting restriction idempotents.Comment: 17 page

Perineal Abscess Secondary to Gas Gangrene - Use of Hyperbaric Oxygen as a Therapeutic Adjunct in a Case

Hyperbaric oxygen treatment of perineal abcess in human male with acute urinary tract difficult

The Renal Lymphatics - an Important Fluid Transport System

Study of renal lymph fluid transport syste

On the word problem for SP-categories, and the properties of two-way communication

International audienceThe word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Indeed, the maps in these categories may be directly interpreted as processes which communicate by two-way channels. The maps of an SP-category may also be viewed as a proof theory for a simple logic with a game theoretic intepretation. The cut-elimination procedure for this logic determines equality only up to certain permuting conversions. As the equality classes under these permuting conversions are finite, it is easy to see that equality between cut-free terms (even in the presence of the additive units) is decidable. Unfortunately, this does not yield a tractable decision algorithm as these equivalence classes can contain exponentially many terms. However, the rather special properties of these free categories -- and, thus, of two-way communication -- allow one to devise a tractable algorithm for equality. We show that, restricted to cut-free terms s,t : X --> A, the decision procedure runs in time polynomial on |X||A|, the product of the sizes of the domain and codomain type

Expression of PEG11 and PEG11AS transcripts in normal and callipyge sheep

BACKGROUND: The callipyge mutation is located within an imprinted gene cluster on ovine chromosome 18. The callipyge trait exhibits polar overdominant inheritance due to the fact that only heterozygotes inheriting a mutant paternal allele (paternal heterozygotes) have a phenotype of muscle hypertrophy, reduced fat and a more compact skeleton. The mutation is a single A to G transition in an intergenic region that results in the increased expression of several genes within the imprinted cluster without changing their parent-of-origin allele-specific expression. RESULTS: There was a significant effect of genotype (p < 0.0001) on the transcript abundance of DLK1, PEG11, and MEG8 in the muscles of lambs with the callipyge allele. DLK1 and PEG11 transcript levels were elevated in the hypertrophied muscles of paternal heterozygous animals relative to animals of the other three genotypes. The PEG11 locus produces a single 6.5 kb transcript and two smaller antisense strand transcripts, referred to as PEG11AS, in skeletal muscle. PEG11AS transcripts were detectable over a 5.5 kb region beginning 1.2 kb upstream of the PEG11 start codon and spanning the entire open reading frame. Analysis of PEG11 expression by quantitative PCR shows a 200-fold induction in the hypertrophied muscles of paternal heterozygous animals and a 13-fold induction in homozygous callipyge animals. PEG11 transcripts were 14-fold more abundant than PEG11AS transcripts in the gluteus medius of paternal heterozygous animals. PEG11AS transcripts were expressed at higher levels than PEG11 transcripts in the gluteus medius of animals of the other three genotypes. CONCLUSIONS: The effect of the callipyge mutation has been to alter the expression of DLK1, GTL2, PEG11 and MEG8 in the hypertrophied skeletal muscles. Transcript abundance of DLK1 and PEG11 was highest in paternal heterozygous animals and exhibited polar overdominant gene expression patterns; therefore, both genes are candidates for causing skeletal muscle hypertrophy. There was unique relationship of PEG11 and PEG11AS transcript abundance in the paternal heterozygous animals that suggests a RNA interference mechanism may have a role in PEG11 gene regulation and polar overdominance in callipyge sheep

A theory for game theories

International audienceGame semantics is a valuable source of fully abstract models of programming languages or proof theories based on categories of so-called games and strategies. However, there are many variants of this technique, whose interrelationships largely remain to be elucidated. This raises the question: what is a category of games and strategies? Our central idea, taken from the first author's PhD thesis, is that positions and moves in a game should be morphisms in a base category: playing move m in position f consists in factoring f through m, the new position being the other factor. Accordingly, we provide a general construction which, from a selection of "legal moves" in an almost arbitrary category, produces a category of games and strategies, together with subcategories of deterministic and winning strategies. As our running example, we instantiate our construction to obtain the standard category of Hyland-Ong games subject to the switching condition. The extension of our framework to games without the switching condition is handled in the first author's PhD thesis