The groupoidal analogue Theta~ to Joyal's category Theta is a test category

We introduce the groupoidal analogue \tilde\Theta to Joyal's cell category \Theta and we prove that \tilde\Theta is a strict test category in the sense of Grothendieck. This implies that presheaves on \tilde\Theta model homotopy types in a canonical way. We also prove that the canonical functor from \Theta to \tilde\Theta is aspherical, again in the sense of Grothendieck. This allows us to compare weak equivalences of presheaves on \tilde\Theta to weak equivalences of presheaves on \Theta. Our proofs apply to other categories analogous to \Theta.Comment: 41 pages, v2: references added, Remark 7.3 added, v3: metadata update

A new foundational crisis in mathematics, is it really happening?

The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The article contains a short survey of the mathematical and historical background needed to understand the main tenets of the foundational issues.Comment: Final versio

The roots of "Western European societal evolution". A concept of Europe by Jenő Szűcs

Jenő Szűcs wrote his essay entitled Sketch on the three regions of Europe in the early 1980s in Hungary. During these years, a historically well-argued opinion emphasising a substantial difference between Central European and Eastern European societies was warmly received in various circles of the political opposition. In a wider European perspective Szűcs used the old “liberty topos” which claims that the history of Europe is no other than the fulfillment of liberty. In his Sketch, Szűcs does not only concentrate on questions concerning the Middle Ages in Western Europe. Yet it is this stream of thought which brought a new perspective to explaining European history. His picture of the Middle Ages represents well that there is a way to integrate all typical Western motifs of post-war self-definition into a single theory. Mainly, the “liberty motif”, as a sign of “Europeanism” – in the interpretation of Bibó’s concept, Anglo-saxon Marxists and Weber’s social theory –, developed from medieval concepts of state and society and from an analysis of economic and social structures. Szűcs’s historical aspect was a typical intellectual product of the 1980s: this was the time when a few Central European historians started to outline non-Marxist aspects of social theory and categories of modernisation theories, but concealing them with Marxist terminology

Tattoo removal in the typical adolescent

<p>Abstract</p> <p>Background</p> <p>Although popular tattoos are often regretted later on for different reasons. Nevertheless, tattoo removal is a complicated and costly procedure seldom providing satisfactory results. The aim of this study was to investigate the awareness of the implications of tattoo removal among a substantial sample of Italian secondary school adolescents.</p> <p>Findings</p> <p>Students were recruited by a stratified convenience sample and surveyed by a self administered questionnaire. Logistic regression analysis was performed, reporting adjusted Odds Ratios (OR), with 95% Confidence Interval (CI).</p> <p>4,277 pupils returned a usable questionnaire. Piercings were more frequently undertaken than tattoos. Only 40% of the respondents were aware of the issues related to tattoo removal. Males and pupils with younger fathers were less likely to be aware, whereas students satisfied with their physical appearance and those with a positive attitude towards body art were more likely to be aware.</p> <p>Conclusions</p> <p>Male adolescents with younger fathers can be regarded as the ideal target of corporate health education programs driven by school counsellors and primary care physicians.</p

Formalizing of Category Theory in Agda

The generality and pervasiness of category theory in modern mathematics makes it a frequent and useful target of formalization. It is however quite challenging to formalize, for a variety of reasons. Agda currently (i.e. in 2020) does not have a standard, working formalization of category theory. We document our work on solving this dilemma. The formalization revealed a number of potential design choices, and we present, motivate and explain the ones we picked. In particular, we find that alternative definitions or alternative proofs from those found in standard textbooks can be advantageous, as well as "fit" Agda's type theory more smoothly. Some definitions regarded as equivalent in standard textbooks turn out to make different "universe level" assumptions, with some being more polymorphic than others. We also pay close attention to engineering issues so that the library integrates well with Agda's own standard library, as well as being compatible with as many of supported type theories in Agda as possible

Impact of safety-related dose reductions or discontinuations on sustained virologic response in HCV-infected patients: Results from the GUARD-C Cohort

BACKGROUND: Despite the introduction of direct-acting antiviral agents for chronic hepatitis C virus (HCV) infection, peginterferon alfa/ribavirin remains relevant in many resource-constrained settings. The non-randomized GUARD-C cohort investigated baseline predictors of safety-related dose reductions or discontinuations (sr-RD) and their impact on sustained virologic response (SVR) in patients receiving peginterferon alfa/ribavirin in routine practice. METHODS: A total of 3181 HCV-mono-infected treatment-naive patients were assigned to 24 or 48 weeks of peginterferon alfa/ribavirin by their physician. Patients were categorized by time-to-first sr-RD (Week 4/12). Detailed analyses of the impact of sr-RD on SVR24 (HCV RNA <50 IU/mL) were conducted in 951 Caucasian, noncirrhotic genotype (G)1 patients assigned to peginterferon alfa-2a/ribavirin for 48 weeks. The probability of SVR24 was identified by a baseline scoring system (range: 0-9 points) on which scores of 5 to 9 and <5 represent high and low probability of SVR24, respectively. RESULTS: SVR24 rates were 46.1% (754/1634), 77.1% (279/362), 68.0% (514/756), and 51.3% (203/396), respectively, in G1, 2, 3, and 4 patients. Overall, 16.9% and 21.8% patients experienced 651 sr-RD for peginterferon alfa and ribavirin, respectively. Among Caucasian noncirrhotic G1 patients: female sex, lower body mass index, pre-existing cardiovascular/pulmonary disease, and low hematological indices were prognostic factors of sr-RD; SVR24 was lower in patients with 651 vs. no sr-RD by Week 4 (37.9% vs. 54.4%; P = 0.0046) and Week 12 (41.7% vs. 55.3%; P = 0.0016); sr-RD by Week 4/12 significantly reduced SVR24 in patients with scores <5 but not 655. CONCLUSIONS: In conclusion, sr-RD to peginterferon alfa-2a/ribavirin significantly impacts on SVR24 rates in treatment-naive G1 noncirrhotic Caucasian patients. Baseline characteristics can help select patients with a high probability of SVR24 and a low probability of sr-RD with peginterferon alfa-2a/ribavirin

Bocepreviralapú hármas kezelés hatékonyságának és biztonságosságának retrospektív elemzése előrehaladott fibrosisstádiumú, hepatitis C-vírus 1-es genotípussal fertőzött, korábban sikertelenül kezelt magyar betegeknél

INTRODUCTION: During 2011 and 2013, 155 Hungarian hepatitis C genotype 1 infected patients, mostly with advanced liver fibrosis, who did not respond to prior peginterferon + ribavirin dual therapy, started boceprevir based triple therapy in an early access program. AIM AND METHOD: Efficacy and safety of the therapy was retrospectively assessed based on sustained virologic responses, as well as on frequency and type of serious adverse events and of those leading to therapy discontinuation. RESULTS: In an intent-to-treat analysis 39.4% patients (61/155) reached sustained virologic response. Amongst pervious relapsers, partial responders and null-responders 59.5%, 41.4 % and 22.9% (p<0.05 compared to the other two categories) reached sustained virologic response, respectively, while amongst non-cirrhotics and cirrhotics 52.5% and 31.3% (p<0.05 compared to the non-cirrhotics) achieved sutained virologic response, respectively. Six out of the 33 most difficult to cure patients (previous null responder and cirrhotic) have reached sustained virologic response (18.2%). Frequency of early discontinuations due to insufficient virologic response was 31.1%, while due to adverse event 10.3%. Reported frequency of serious adverse event was 9.8%. These events represented anemia, diarrhoea, depression, agranulocytosis, elevated aminotransferases, generalized dermatitis and severe gingivitis with loss of teeth, prolonged QT interval on ECG, generalized oedema and severe dyspnoea, uroinfection, exacerbation of Crohn's disease, Campylobacter pylori infection and unacceptable weakness and fatigue. Eight patients received transfusion, 4 patients erythropoietin and 1 granulocyte colony stimulating factor during therapy. No death has been reported. CONCLUSIONS: With boceprevir based triple therapy, one of the bests available in 2011-2013 in Hungary, a relevant proportion of hepatitis C infected patients with advanced liver fibrosis achieved sustained viral response. In this cohort, side-effects resembled those reported in registration studies, and resulted in therapy discontinuation with consequent treatment failure in a relevant number of patients. Efficacy and tolerability of boceprevir-based triple therapy are suboptimal, particularly in the most difficult to cure patient population. Orv. Hetil., 2016, 157(34), 1366-1374