The definition and calculus of extraordinary natural transformations [EK] is extended to a context internal to any autonomous monoidal bicategory [DyS]. The original calculus is recaptured from the geometry [SV], [MT] of the monoidal bicategory V-Mod whose objects are categories enriched in a cocomplete symmetric monoidal category V and whose morphisms are modules. Mathematics Subject Classific...

Experimental evidence indicates that enriched environment (EE) induces neurobiological and behavioural alterations. EE in early life improves learning and memory and reduces trait and state anxiety. However, the effect of EE established in adulthood has rarely been investigated. Thus, the aim of this study was to evaluate the possibility of modifying the levels of trait and/or state anxiety of ...

The paper deals with the grammatical category of number in Czech. The basic semantic opposition of singularity and plurality is proposed to be enriched with a (recently introduced) distinction between a simple quantitative meaning and a pair/group meaning. After presenting the current representation of the category of number in the multi-layered annotation scenario of the Prague Dependency Tree...

Two partially ordered monoids S and T are called Morita equivalent if the categories of right S-posets and right T -posets are Pos-equivalent as categories enriched over the category Pos of posets. We give a description of Pos-prodense biposets and prove Morita theorems I, II, and III for partially ordered monoids.

We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have H∗, the maximal consistent sensible λ-theory, as their equational theory. Finally, we prove that our relational model fulfils thes...

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.

Drug-target interaction (DTI) is a key aspect in pharmaceutical research. With the ever-increasing new drug data resources, computational approaches have emerged as powerful and labor-saving tools in predicting new DTIs. However, so far, most of these predictions have been based on structural similarities rather than biological relevance. In this study, we proposed for the first time a "GO and ...

The middle face patch is a region of cortex in the ventral visual pathway of the Inferior Temporal lobe in the macaque brain. This region has been identified by functional MRI to respond preferentially to images of faces over non-face images, similar to functionally defined face selective regions in the human brain. In this thesis we spatially map the category selective preference of 100's of m...

Local variables in imperative languages have been given denotational semantics in at least two fundamentally different ways. One is by use of functor categories, focusing on the idea of possible worlds. The other might be termed event-based, exemplified by Reddy’s object spaces and models based on game semantics. O’Hearn and Reddy have related the two approaches by giving functor category model...