Fibrational induction rules for initial algebras

This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Mesoporous Functionalized Acid Catalysts And Their Use As Environmentally Friendly Catalysts In Esterification Of Glycerols For Monoglyceride Production.

Monoglycerides are valuable compounds with wide applications as emulsifiers in food, pharmaceutical and cosmetic industries. They can be produced by esterification of glycerols with fatty acids

On the Cold Drawing of Poly-Ether-Ether-Ketone (PEEK) Tubes

AbstractThe mechanical behaviour commonly referred as cold drawing (CD) is a phenomenon that occurs once the yield point is reached, in a thermoplastic material subjected to a uniaxial tensile test at constant strain rate. In effect, after yielding the sample undergoes a neck in its cross-sectional area, which then propagates along the entire useful length of the sample while the applied force remains constant. This phenomenon occurs in amorphous or semi-crystalline materials in a wide range of temperatures below the glass transition temperature. Understanding this phenomenon involves knowing what deformation mechanisms operate and how they are related to the morphology of the material. In this work, on one hand, the mechanical response of poly-ether-ether-ketone (PEEK) thermally aged at 25 and 135°C for 30 day is measured. In previous researches PEEK aged at 130 and 135°C undergoes cold drawing when subjected to a tensile strain rate of 1,7 10-3 s-1 at 25°C. In addition, the average stress and the ultimate elongation of the plateau depend on the temperature and the duration of the annealing. On the other hand, wide angle X ray diffraction, density measurements, differential thermal analysis, shape memory analysis and complex impedance measurement allow determine changes in the amorphous and crystalline phases due to thermal aging and cold drawing effects

Control de la demanda laboral e hipertensión: estudio transversal en mecanógrafo colombiano

Introduction Hypertension has become a public health a worldwide challenge. It has been associated with psychosocial working conditions and with several chronic diseases. One of the job positions where poor psychosocial working condition might be present is a typist. We aimed to determine the prevalence of hypertension In Colombian typist population, associated with psychosocial factors at the work and identifying associated socio-demographic characteristics and employment conditions. Methods Cross sectional interview-based questionnaire study and measurements (blood pressure, high, weigh) in 196 typist and 134 administrative workers from the same company in Colombia (response 100%). Logistic regression models adjust to type of work, job demand control, Effort-Reward-Ratio, social support, age, gender and overweight. Results The prevalence of hypertension in workers was 17.82%. The age of workers was from 20 to 39 years (76.3%). From the participants with high blood pressure, 31.2% had overweight, 21% reported high tension and 20% indicated active job (p 0.36). The most important associations in the logistic regression, was overweight (OR 4.6; 95% CI: 2.1 to 9.9), age between 30 and 40 years (OR 2.75; 95% CI: 1.1 to 6.5), high social support (OR 2.45; 95% CI: 1.1 to 5.1) and active job (OR 3.36; 95% CI: 1.1 to 10.2). Conclusions This study results indicate an increment of the prevalence of hypertension in Colombian young people, related to the epidemiological transition. It is an evidence of the need to shift the orientation of the country health programs to chronic diseases, such as the hypertension and overweight

Prostate cancer, PI3K, PTEN and prognosis

Loss of function of the PTEN tumour suppressor, resulting in dysregulated activation of the phosphoinositide 3-kinase (PI3K) signalling network, is recognized as one of the most common driving events in prostate cancer development. The observed mechanisms of PTEN loss are diverse, but both homozygous and heterozygous genomic deletions including PTEN are frequent, and often accompanied by loss of detectable protein as assessed by immunohistochemistry (IHC). The occurrence of PTEN loss is highest in aggressive metastatic disease and this has driven the development of PTEN as a prognostic biomarker, either alone or in combination with other factors, to distinguish indolent tumours from those likely to progress. Here, we discuss these factors and the consequences of PTEN loss, in the context of its role as a lipid phosphatase, as well as current efforts to use available inhibitors of specific components of the PI3K/PTEN/TOR signalling network in prostate cancer treatment.</jats:p