A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by Lawvere (1970). It also leads to a simple calculus of string diagrams (representing presheaves) that is highly reminiscent of C. S. Peirce's existential graphs for predicate logic, refining an earlier interpretation of existential graphs in terms of Boolean hyperdoctrines by Brady and Trimble. Finally, we illustrate how this work extends to a bifibrational setting a number of fundamental ideas of linear logic.Comment: Identical to the final version of the paper as appears in proceedings of LICS 2016, formatted for on-screen readin

FUS-CHOP promotes invasion in myxoid liposarcoma through a SRC/FAK/RHO/ROCK-dependent pathway

Deregulated SRC/FAK signaling leads to enhanced migration and invasion in many types of tumors. In myxoid and round cell liposarcoma (MRCLS), an adipocytic tumor characterized by the expression of the fusion oncogene FUS-CHOP, SRC have been found as one of the most activated kinases. Here we used a cell-of-origin model of MRCLS and an MRCLS cell line to thoroughly characterize the mechanisms of cell invasion induced by FUS-CHOP using in vitro (3D spheroid invasion assays) and in vivo (chicken chorioallantoic membrane model) approaches. FUS-CHOP expression activated SRC-FAK signaling and increased the invasive ability of MRCLS cells. In addition, FAK expression was found to significantly correlate with tumor aggressiveness in sarcoma patient samples. The involvement of SRC/FAK activation in FUS-CHOP–mediated invasion was further confirmed using the SRC inhibitor dasatinib, the specific FAK inhibitor PF-573228, and FAK siRNA. Notably, dasatinib and PF573228 could also efficiently block the invasion of cancer stem cell subpopulations. Downstream of SRC/FAK signaling, we found that FUS-CHOP expression increases the levels of the RHO/ROCK downstream effector phospho-MLC2 (T18/S19) and that this activation was prevented by dasatinib or PF573228. Moreover, the ROCK inhibitor RKI-1447 was able to completely abolish invasion in FUS-CHOP–expressing cells. These data uncover the involvement of SRC/FAK/RHO/ROCK signaling axis in FUS-CHOP–mediated invasion, thus providing a rationale for testing inhibitors of this pathway as potential novel antimetastatic agents for MRCLS treatmentPeer ReviewedPostprint (author's final draft

Espondilitis tuberculosa no es una metástasis vertebral: diagnóstico diferencial y tratamiento quirúrgico. A propósito de un caso

Presentamos el caso de una paciente con dorsalgia y clínica neurológica de varios meses de evolución que ante las pruebas de imagen fue erróneamente diagnosticada de metástasis vertebral sin confirmación previa con biopsia. El deterioro progresivo neurológico y las nuevas pruebas de imagen confirmaron el diagnóstico de tuberculosis vertebral. La paciente fue tratada mediante curetaje, desbridamiento, fusión intersomática y osteosíntesis anterior además del tratamiento médico. Hubo una recuperación neurológica de la función sensitiva, motora y esfinteriana prácticamente completa al mes de la intervención. Tras 20 meses de evolución la paciente está asintomática sin evidencia de progresión de la enfermedadWe report a patient with back pain and neurological symptoms several months of evolution to the test image was wrongly diagnosed with spinal metastases without prior confirmation with biopsy. The progressive deterioration of neurological and new imaging confirmed the diagnosis of spinal tuberculosis. The patient was treated by curettage, debridement, anterior interbody fusion and internal fixation in addition to medical treatment. There neurological recovery of sensory function, motor and sphincter almost complete month after the intervention. After 20 months of evolution, the patient is asymptomatic without evidence of disease progressio

Hidatidosis ósea: nuestra casuística

Se revisan los resultados de 16 casos de hidatidosis musculoesquelética tratados en la Unidad de Sépticos del Aparato Locomotor del Hospital Universitario "La Fe" de Valencia en el período 1972-1989. Las dificultades diagnósticas fueron importantes, siendo en 5 de los casos un diagnóstico operatorio. Analizados los métodos de tratamiento se llega a la conclusión de que la curación definitiva sólo se consigue con la resección completa y amplia de la lesión. Los curetajes, acompañados o no de aseptizaciones químicas, suelen dar recidivas. Se recomienda combinar el tratamiento médico con el quirúrgico.The results of 16 cases of musculoskeletal hydatidosis treated in the locomotive Apparatus Septic Unit of the Valencia University Hospital "La Fe" between 1972 and 1989 wer e reviewed. The diagnostic difficulties wer e marked and 5 cases wer e diagnosed at surgery. After analyzing the therapeutical approaches, it is drawn the conclusion that a definitive healing is achieved only when an extensive and complete resection is done. Curettage, with and without chemical aseptization, generally results in recurrence. A combined medical and surgical treatment is recommended

Convergence calls: multimedia storytelling at British news websites

This article uses qualitative interviews with senior editors and managers from a selection of the UK's national online news providers to describe and analyse their current experimentation with multimedia and video storytelling. The results show that, in a period of declining newspaper readership and TV news viewing, editors are keen to embrace new technologies, which are seen as being part of the future of news. At the same time, text is still reported to be the cornerstone for news websites, leading to changes in the grammar and function of news video when used online. The economic rationale for convergence is examined and the article investigates the partnerships sites have entered into in order to be able to serve their audience with video content. In-house video is complementing syndicated content, and the authors examine the resulting developments in newsroom training and recruitment practices. The article provides journalism and interactive media scholars with case studies on the changes taking place in newsrooms as a result of the shift towards multimedia, multiplatform news consumption

Influencia del origen del haba sobre el valor nutricional de la harina de soja

La harina de soja (HS) es la principal fuente de proteína en piensos para animales monogástricos. La mayor parte de las HS utilizadas en Europa proceden del continente Americano, en particular de Argentina (ARG), Brasil (BRA) y Estados Unidos (USA). Aunque la composición y valor nutricional de las HS varía entre países de origen (Grieshop et al., 2003; De Coca et al., 2008; 2010; Valencia et al., 2008), las tablas de composición de alimentos (NRC, 1998; FEDNA, 2010) clasifican las HS en función de su contenido en PB, sin tener en cuenta ni el origen ni las condiciones del procesado. En un trabajo anterior Mateos et al. (2009) se presentaron los resultados obtenidos de una colección de 262 muestras de HS recolectadas en las cosechas de los años 2007 y 2008 procedentes de estos tres países. Dependiendo de la variable considerada, el número de muestras analizadas varió entre 50 y 262. El presente trabajo tuvo como objetivo completar los análisis y complementar los resultados anteriores en relación con la composición química, el valor nutricional y la calidad de la PB de la HS con nuevas muestras procedentes de las cosechas de los años 2009 y 2010