A colimit decomposition for homotopy algebras in Cat

Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky observed a key point to be that each homotopy colimit in simplicial sets admits a decomposition into a homotopy sifted colimit of finite coproducts, and asked the author whether a similar decomposition holds in the 2-category of categories Cat. Our purpose in the present paper is to show that this is the case.Comment: Some notation changed; small amount of exposition added in intr

Household transmission of 2009 pandemic influenza A (H1N1): a systematic review and meta-analysis

BACKGROUND: During the 2009 influenza A (H1N1) pandemic, household transmission studies were implemented to better understand the characteristics of the transmission of the novel virus in a confined setting. METHODS: We conducted a systematic review and meta-analysis to assess and summarize the findings of these studies. We identified 27 articles, around half of which reported studies conducted in May and June 2009. RESULTS: In 13 of the 27 studies (48%) that collected respiratory specimens from household contacts, point estimates of the risk of secondary infection ranged from 3% to 38%, with substantial heterogeneity. Meta-regression analyses revealed that a part of the heterogeneity reflected varying case ascertainment and study designs. The estimates of symptomatic secondary infection risk, based on 20 studies identifying febrile acute respiratory illness among household contacts, also showed substantial variability, with point estimates ranging from 4% to 37%. CONCLUSIONS: Transmission of the 2009 pandemic virus in households appeared to vary among countries and settings, with differences in estimates of the secondary infection risk also partly due to differences in study designs.published_or_final_versio

Shadows and traces in bicategories

Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.Comment: 46 pages; v2: reorganized and shortened, added proof for cylindrical string diagrams; v3: final version, to appear in JHR

Thoughts that breathe, and words that burn: poetic inquiry within health professions education

Qualitative inquiry is increasingly popular in health professions education, and there has been a move to solidify processes of analysis to demystify the practice and increase rigour. Whilst important, being bound too heavily by methodological processes potentially represses the imaginative creativity of qualitative expression and interpretation—traditional cornerstones of the approach. Rigid adherence to analytic steps risks leaving no time or space for moments of ‘wonder’ or emotional responses which facilitate rich engagement. Poetic inquiry, defined as research which uses poetry ‘as, in, [or] for inquiry’, offers ways to encourage creativity and deep engagement with qualitative data within health professions education. Poetic inquiry attends carefully to participant language, can deepen researcher reflexivity, may increase the emotive impact of research, and promotes an efficiency of qualitative expression through the use of ‘razor sharp’ language. This A Qualitative Space paper introduces the approach by outlining how it may be applied to inquiry within health professions education. Approaches to engaging with poetic inquiry are discussed and illustrated using examples from the field’s scholarship. Finally, recommendations for interested researchers on how to engage with poetic inquiry are made, including suggestions as to how to poetize existing qualitative research practices

The fundamental pro-groupoid of an affine 2-scheme

A natural question in the theory of Tannakian categories is: What if you don't remember \Forget? Working over an arbitrary commutative ring $R$, we prove that an answer to this question is given by the functor represented by the \'etale fundamental groupoid \pi_1(\spec(R)), i.e.\ the separable absolute Galois group of $R$ when it is a field. This gives a new definition for \'etale \pi_1(\spec(R)) in terms of the category of $R$-modules rather than the category of \'etale covers. More generally, we introduce a new notion of "commutative 2-ring" that includes both Grothendieck topoi and symmetric monoidal categories of modules, and define a notion of $\pi_1$ for the corresponding "affine 2-schemes." These results help to simplify and clarify some of the peculiarities of the \'etale fundamental group. For example, \'etale fundamental groups are not "true" groups but only profinite groups, and one cannot hope to recover more: the "Tannakian" functor represented by the \'etale fundamental group of a scheme preserves finite products but not all products.Comment: 46 pages + bibliography. Diagrams drawn in Tik

Generalised Compositional Theories and Diagrammatic Reasoning

This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular case, namely the study of complementarity and non-locality, two fundamental concepts of quantum theory whose relationship we explore in later part of this chapter. The diagrammatic calculus that we are concerned with here is not merely an illustrative tool, but it has both (i) a conceptual physical backbone, which allows it to act as a foundation for diverse physical theories, and (ii) a genuine mathematical underpinning, permitting one to relate it to standard mathematical structures.Comment: To appear as a Springer book chapter chapter, edited by G. Chirabella, R. Spekken

Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Internal and external cooling methods and their effect on body temperature, thermal perception and dexterity

© 2018 The Authors. Published by PLOS. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1371/journal.pone.0191416© 2018 Maley et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. Objective The present study aimed to compare a range of cooling methods possibly utilised by occupational workers, focusing on their effect on body temperature, perception and manual dexterity. Methods Ten male participants completed eight trials involving 30 min of seated rest followed by 30 min of cooling or control of no cooling (CON) (34C, 58% relative humidity). The cooling methods utilised were: ice cooling vest (CV0), phase change cooling vest melting at 14C (CV14), evaporative cooling vest (CVEV), arm immersion in 10C water (AI), portable water-perfused suit (WPS), heliox inhalation (HE) and ice slushy ingestion (SL). Immediately before and after cooling, participants were assessed for fine (Purdue pegboard task) and gross (grip and pinch strength) manual dexterity. Rectal and skin temperature, as well as thermal sensation and comfort, were monitored throughout. Results Compared with CON, SL was the only method to reduce rectal temperature (P = 0.012). All externally applied cooling methods reduced skin temperature (P0.05). Conclusion The present study observed that ice ingestion or ice applied to the skin produced the greatest effect on rectal and skin temperature, respectively. AI should not be utilised if workers require subsequent fine manual dexterity. These results will help inform future studies investigating appropriate pre-cooling methods for the occupational worker.This project is financially supported by the US Government through the Technical Support Working Group within the Combating Terrorism Technical Support Office.Published versio

How important is the context of an adolescent's first alcoholic drink? Evidence that parental provision may reduce later heavy episodic drinking

Objective: This study examined the extent to which a retrospective measure of parental provision of the first alcoholic beverage was related to current heavy episodic drinking and current responsible drinking practices. Sample: 608 14- to 17-year-olds from the 2007 Australian National Drug Strategy Household Survey. Measures: Source of first alcoholic beverage (friends/parents/others), source of current alcohol, age of onset of alcohol use, current responsible drinking practices, and proportion of current friends who drink. Results: Binary logistic and multiple regression procedures revealed that parental provision of an adolescent's first alcoholic beverage predicted lower current heavy episodic drinking, and responsible drinking mediated this association. Discussion: The results suggested that for adolescents who become alcohol users, parental provision of the first drink may reduce subsequent alcohol-related risks compared to introduction to alcohol by friends and other sources. Alcohol-related risks remain significant for adolescents who consume alcohol, independent of who is the provider. Copyright (C) 2012 S. Karger AG, Base

Helping someone with problem drinking: Mental health first aid guidelines - a Delphi expert consensus study

Background Alcohol is a leading risk factor for avoidable disease burden. Research suggests that a drinker's social network can play an integral role in addressing hazardous (i.e., high-risk) or problem drinking. Often however, social networks do not have adequate mental health literacy (i.e., knowledge about mental health problems, like problem drinking, or how to treat them). This is a concern as the response that a drinker receives from their social network can have a substantial impact on their willingness to seek help. This paper describes the development of mental health first aid guidelines that inform community members on how to help someone who may have, or may be developing, a drinking problem (i.e., alcohol abuse or dependence). Methods A systematic review of the research and lay literature was conducted to develop a 285-item survey containing strategies on how to help someone who may have, or may be developing, a drinking problem. Two panels of experts (consumers/carers and clinicians) individually rated survey items, using a Delphi process. Surveys were completed online or via postal mail. Participants were 99 consumers, carers and clinicians with experience or expertise in problem drinking from Australia, Canada, Ireland, New Zealand, the United Kingdom, and the United States. Items that reached consensus on importance were retained and written into guidelines. Results The overall response rate across all three rounds was 68.7% (67.6% consumers/carers, 69.2% clinicians), with 184 first aid strategies rated as essential or important by ≥80% of panel members. The endorsed guidelines provide guidance on how to: recognize problem drinking; approach someone if there is concern about their drinking; support the person to change their drinking; respond if they are unwilling to change their drinking; facilitate professional help seeking and respond if professional help is refused; and manage an alcohol-related medical emergency. Conclusion The guidelines provide a consensus-based resource for community members seeking to help someone with a drinking problem. Improving community awareness and understanding of how to identify and support someone with a drinking problem may lead to earlier recognition of problem drinking and greater facilitation of professional help seeking