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

Plasma-Like Negative Capacitance in Nano-Colloids

A negative capacitance has been observed in a nano-colloid between 0.1 and 10^-5 Hz. The response is linear over a broad range of conditions. The low-omega dispersions of both the resistance and capacitance are consistent with the free-carrier plasma model, while the transient behavior demonstrates an unusual energy storage mechanism. A collective excitation, therefore, is suggested.Comment: 3 pages, 3 figure

Behavioural clusters and predictors of performance during recovery from stroke

We examined the patterns and variability of recovery post-stroke in multiple behavioral domains. A large cohort of first time stroke patients with heterogeneous lesions was studied prospectively and longitudinally at 1-2 weeks, 3 months and one year post-injury with structural MRI to measure lesion anatomy and in-depth neuropsychological assessment. Impairment was described at all timepoints by a few clusters of correlated deficits. The time course and magnitude of recovery was similar across domains, with change scores largely proportional to the initial deficit and most recovery occurring within the first three months. Damage to specific white matter tracts produced poorer recovery over several domains: attention and superior longitudinal fasciculus II/III, language and posterior arcuate fasciculus, motor and corticospinal tract. Finally, after accounting for the severity of the initial deficit, language and visual memory recovery/outcome was worse with lower education, while the occurrence of multiple deficits negatively impacted attention recovery