We show that an enriched version of Freyd's principle of versality holds in the Kleisli category of a commutative strong monad with xed-point object. This gives a general categorical setting in which it is possible to model recursive types involving the usual datatype constructors.

Organism and environment are in a state of constant interaction, and discourse is viewed as one form of manifestation of this interaction. Through the study of discourse insights can be gained into those components that bring about mental events. Verbal structure, communication of beliefs and action/interaction are highly interactive dimensions of discourse. Taking this perspective as a framewo...

Rapid perceptual decision-making is believed to depend upon efficient allocation of neural resources to the processing of transient stimuli within task-relevant contexts. Given decision-making under severe time pressure, it is reasonable to posit that the brain configures itself, prior to processing stimulus information, in a way that depends upon prior beliefs and/or anticipation. However, rel...

Object perception has been a subject of extensive fMRI studies in recent years. Yet the nature of the cortical representation of objects in the human brain remains controversial. Analyses of fMRI data have traditionally focused on the activation of individual voxels associated with presentation of various stimuli. The current analysis approaches functional imaging data as collective information...

According to modular models of cortical organization, many areas of the extrastriate cortex are dedicated to object categories. These models often assume an early processing stage for the detection of category membership. Can functional imaging isolate areas responsible for detection of members of a category, such as faces or letters? We consider whether responses in three different areas (two ...

Recent investigations of lax algebras—in generalization of Barr’s relational algebras—make an essential use of lax extensions of monad functors on Set to the category Rel(V) of sets and V-relations (where V is a unital quantale). For a given monad there may be many such lax extensions, and different constructions appear in the literature. The aim of this article is to shed a unifying light on t...

In a representative sample of the UK population we found that common mental disorders (as a group and in ICD-10 diagnostic categories) and subthreshold psychiatric symptoms at baseline were both independently associated with new-onset functional disability and significant days lost from work at 18-month follow-up. Subthreshold symptoms contributed to almost half the aggregate burden of function...

We show that an adjoint functor between quasi-categories may be extended to a simplicially enriched functor whose domain is an explicitly presented “homotopy coherent adjunction”. This enriched functor encapsulates both the coherent monad and the coherent comonad generated by the adjunction. Furthermore, because its domain is cofibrant, this data can be used to construct explicit quasi-categori...

The aim of the present study was to examine the contributions of different brain structures to prototype- and exemplar-based category learning using functional magnetic resonance imaging (fMRI). Twenty-eight subjects performed a categorization task in which they had to assign prototypes and exceptions to two different families. This test procedure usually produces different learning curves for ...

Introduction. This note is concerned with "categories with internal horn and | and we shall use the terminology from the paper [2] by EIL~.NBERG and Kv.Imy. The result proved may be stated briefly as follows : a Y/--monad ("strong monad") on a symmetric monoidal closed category ~ carries two canonical structures as closed functor. I f these agree (in which case we call the monad commutative), t...