6,516 research outputs found
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
- …