Reversible computing is a computational paradigm in which computations are deterministic both the forward and backward direction, so that programs have well-defined semantics. We investigate formal semantics of reversible functional programming language Rfun. For this purpose, we introduce join inverse rig categories, natural marriage categories show can be used to model Rfun, under reasonable ...

OBJECTIVES Functional assessment in stroke recovery extends beyond formal testing and evaluation. Stroke survivors themselves continuously engage in the process of reckoning their functional capacities as they go about their everyday lives. This process is called benchmarking. The aim of this article is to discuss and illustrate how it operates in three areas of experience--self-definition, com...

Given an adjunction F ⊣ G connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to the monad and comonad of the adjunction. We discuss applications of these resolutions to spectral sequences for derived completions and Goodwillie calcul...

Background: Functional gastrointestinal disorders (FGIDs) entail several distinct conditions that collectively account for a sizeable proportion of patients complaining of abdominal pain. Physicians’ awareness is fundamental to avoid unnecessary evaluations and to alleviate stress-related problems. This study aimed to assess the relative frequencies of FGIDs and related categories in a se...