Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant isotropy group) associated with an algebraic theory to the wider class of quasi-equational theories. We apply this characterization to prove that the isotropy group of a strict monoidal category is precisely its Picard group of invertible objects. Furthermore, we obtain an explicit description of the covariant isotropy group of a presheaf category

Locally anisotropic toposes

This paper continues the investigation of isotropy theory for toposes. We develop the theory of isotropy quotients of toposes, culminating in a structure theorem for a class of toposes we call locally anisotropic. The theory has a natural interpretation for inverse semigroups, which clarifies some aspects of how inverse semigroups and toposes are related

Blood transfusion during cardiac surgery is associated with inflammation and coagulation in the lung: a case control study

Blood transfusion is associated with increased morbidity and mortality in cardiac surgery patients, but cause-and-effect relations remain unknown. We hypothesized that blood transfusion is associated with changes in pulmonary and systemic inflammation and coagulation occurring in patients who do not meet the clinical diagnosis of transfusion-related acute lung injury (TRALI). We performed a case control study in a mixed medical-surgical intensive care unit of a university hospital in the Netherlands. Cardiac surgery patients (n = 45) were grouped as follows: those who received no transfusion, those who received a restrictive transfusion (one two units of blood) or those who received multiple transfusions (at least five units of blood). Nondirected bronchoalveolar lavage fluid (BALF) and blood were obtained within 3 hours postoperatively. Normal distributed data were analyzed using analysis of variance and Dunnett's post hoc test. Nonparametric data were analyzed using the Kruskal-Wallis and Mann-Whitney U tests. Restrictive transfusion increased BALF levels of interleukin (IL)-1β and D-dimer compared to nontransfused controls (P < 0.05 for all), and IL-1β levels were further enhanced by multiple transfusions (P < 0.01). BALF levels of IL-8, tumor necrosis factor α (TNFα) and thrombin-antithrombin complex (TATc) were increased after multiple transfusions (P < 0.01, P < 0.001 and P < 0.01, respectively) compared to nontransfused controls, but not after restrictive transfusions. Restrictive transfusions were associated with increased pulmonary levels of plasminogen activator inhibitor 1 compared to nontransfused controls with a further increase after multiple transfusions (P < 0.001). Concomitantly, levels of plasminogen activator activity (PAA%) were lower (P < 0.001), indicating impaired fibrinolysis. In the systemic compartment, transfusion was associated with a significant increase in levels of TNFα, TATc and PAA% (P < 0.05). Transfusion during cardiac surgery is associated with activation of inflammation and coagulation in the pulmonary compartment of patients who do not meet TRALI criteria, an effect that was partly dose-dependent, suggesting transfusion as a mediator of acute lung injury. These pulmonary changes were accompanied by systemic derangement of coagulatio

Deep neural networks reveal novel sex-specific electrocardiographic features relevant for mortality risk.

AIMS: Incorporation of sex in study design can lead to discoveries in medical research. Deep neural networks (DNNs) accurately predict sex based on the electrocardiogram (ECG) and we hypothesized that misclassification of sex is an important predictor for mortality. Therefore, we first developed and validated a DNN that classified sex based on the ECG and investigated the outcome. Second, we studied ECG drivers of DNN-classified sex and mortality. METHODS AND RESULTS: A DNN was trained to classify sex based on 131 673 normal ECGs. The algorithm was validated on internal (68 500 ECGs) and external data sets (3303 and 4457 ECGs). The survival of sex (mis)classified groups was investigated using time-to-event analysis and sex-stratified mediation analysis of ECG features. The DNN successfully distinguished female from male ECGs {internal validation: area under the curve (AUC) 0.96 [95% confidence interval (CI): 0.96, 0.97]; external validations: AUC 0.89 (95% CI: 0.88, 0.90), 0.94 (95% CI: 0.93, 0.94)}. Sex-misclassified individuals (11%) had a 1.4 times higher mortality risk compared with correctly classified peers. The ventricular rate was the strongest mediating ECG variable (41%, 95% CI: 31%, 56%) in males, while the maximum amplitude of the ST segment was strongest in females (18%, 95% CI: 11%, 39%). Short QRS duration was associated with higher mortality risk. CONCLUSION: Deep neural networks accurately classify sex based on ECGs. While the proportion of ECG-based sex misclassifications is low, it is an interesting biomarker. Investigation of the causal pathway between misclassification and mortality uncovered new ECG features that might be associated with mortality. Increased emphasis on sex as a biological variable in artificial intelligence is warranted

Functional stress imaging to predict abnormal coronary fractional flow reserve: the PACIFIC 2 study

AimsThe diagnostic performance of non-invasive imaging in patients with prior coronary artery disease (CAD) has not been tested in prospective head-to-head comparative studies. The aim of this study was to compare the diagnostic performance of qualitative single-photon emission computed tomography (SPECT), quantitative positron emission tomography (PET), and qualitative magnetic resonance imaging (MRI) in patients with a prior myocardial infarction (MI) or percutaneous coronary intervention (PCI).Methods and resultsIn this prospective clinical study, all patients with prior MI and/or PCI and new symptoms of ischaemic CAD underwent 99mTc-tetrofosmin SPECT, [15O]H2O PET, and MRI, followed by invasive coronary angiography with fractional flow reserve (FFR) in all coronary arteries. All modalities were interpreted by core laboratories. Haemodynamically significant CAD was defined by at least one coronary artery with an FFR ≤0.80. Among the 189 enrolled patients, 63% had significant CAD. Sensitivity was 67% (95% confidence interval 58–76%) for SPECT, 81% (72–87%) for PET, and 66% (56–75%) for MRI. Specificity was 61% (48–72%) for SPECT, 65% (53–76%) for PET, and 62% (49–74%) for MRI. Sensitivity of PET was higher than SPECT (P = 0.016) and MRI (P = 0.014), whereas specificity did not differ among the modalities. Diagnostic accuracy for PET (75%, 68–81%) did not statistically differ from SPECT (65%, 58–72%, P = 0.03) and MRI (64%, 57–72%, P = 0.052). Using FFR ConclusionIn this prospective head-to-head comparative study, SPECT, PET, and MRI did not show a significantly different accuracy for diagnosing FFR defined significant CAD in patients with prior PCI and/or MI. Overall diagnostic performances, however, were discouraging and the additive value of non-invasive imaging in this high-risk population is questionable.</p

Elevated risk of infection with SARS-CoV-2 Beta, Gamma, and Delta variants compared with Alpha variant in vaccinated individuals

The extent to which severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) variants of concern (VOCs) break through infection- or vaccine-induced immunity is not well understood. We analyzed 28,578 sequenced SARS-CoV-2 samples from individuals with known immune status obtained through national community testing in the Netherlands from March to August 2021. We found evidence of an increased risk of infection by the Beta (B.1.351), Gamma (P.1), or Delta (B.1.617.2) variants compared with the Alpha (B.1.1.7) variant after vaccination. No clear differences were found between vaccines. However, the effect was larger in the first 14 to 59 days after complete vaccination compared with ≥60 days. In contrast to vaccine-induced immunity, there was no increased risk for reinfection with Beta, Gamma, or Delta variants relative to the Alpha variant in individuals with infection-induced immunity.</p