A note on natural numbers objects in monoidal categories

The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein.     

A note on russell's paradox in locally cartesian closed categories

Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms of each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback.The financial support of the Royal Society in London is gratefully acknowledged.     

Age-dependent facilitation of taste-footshock conditioning by prior exposure to the training context

Among adult rats, gustatory stimuli are easily associated with illness, but not with external unconditioned stimuli such as footshock. Recent evidence indicates, however, that this cue-to-consequence specificity may vary ontongenetically. The present studies examined the acquisition of an aversion to a taste paired with footshock in 5- and 15-day-old rats. Consistent with previous reports, 5-day-old rats avoided the taste that preceded footshock, while 15-day-old subjects did not express an aversion to the taste paired with footshock. Exposure to the training context for either 1 or 5 h prior to conditioning disrupted taste-footshock conditioning in the 5-day-old subjects. For the 15-day-old subjects, 1 h of pre-conditioning exposure to the training context had no effect on conditioning, whereas a longer duration of preexposure promoted conditioning to the taste cue. The results suggest ontogenetic differences in stimulus selection.     

Changes in energy expenditure and work during response acquisition in rats

The principle of least effort predicts that behavior will tend to maximum efficiency. To test this prediction, changes in the energy expended (VO2) and work performed per reinforcement were monitored continuously as rats learned to press a beam with a criterion force for liquid food rewards. All 12 subjects exhibited significant decreases in energy expended per reinforcement over the 16 days of observation. Of these, 10 subjects also decreased the work performed per reinforcement. Analyses of motor performance were undertaken to determine how motor programs for changing efficiency were generated. The 10 animals showing decreased work reinforcement also exhibited significant decreases in the variability of temporal and kinetic response features and in mean response magnitude (time integral of force or work per response) as a function of practice. Adjustments in work output were primarily accomplished by modifying temporal response features (response duration and, initially, interresponse time). The kinetic features (response recruitment and peak force) remained relatively constant for these animals. The remaining 2 subjects differed in that response recruitment increased after Day 9, resulting in progressively larger amounts of work being performed to earn each reinforcement, and the interval between successive reinforcements decreased.     

The Y chromosome, social signals, and offense in mice

Offense is one type of aggression in mice (Mus musculus/Mus domesticus). Offense was measured in a panel of testers design for two congenic strains of mice. The two congenic strains were DBA1Bg and DBA1. C57BL10-YBg. These differ in the Y chromosome. Offense was measured for the following dyadic pairs: Group 1 (DBA1 tested against a DBA1 opponent); Group 2 (DBA1 tested against a DBA1.C57BL10-Y opponent); Group 3 (DBA1.C57BL10-Y tested against a DBA1.C57BL10-Y opponent); and Group 4 (DBA1.C57BL10-Y tested against a DBA1 opponent). Group 1 was more aggressive than Group 3, whereas Group 2 was no more aggressive than Group 4. Thus, when the experimental and opponent pairs have the same Y chromosome, the congenics differ in offense, whereas when the experimental and opponent pairs have different Y chromosomes, the congenics do not differ in offense. These findings are consistent with the hypothesis that these Y chromosomes affect the display of and response to social or other stimuli for offense of mice. These stimuli may be individual recognition chemosignals in urine.     

Effects of attentional focusing on pain perception

Two experiments were conducted to examine the hypothesized differential effectiveness of two attentional focusing strategies in pain perception. In the first experiment, subjects (72 male college students) rated their levels of pain after being exposed to either low- or high-intensity pressure stimulation for 75 s. Subjects were instructed to use either an external or internal focus of attention during the pain induction. Results revealed that external focusing was more effective for coping than internal focusing across both levels of stimulus intensity. The second experiment was a replication of the first, and featured bolstered internal focusing and stimulus intensity manipulations. Results showed that high-intensity stimulation produced higher pain ratings than did low-intensity stimulation for subjects in the internal focusing conditions, but not for those in the external focusing conditions. The findings support the power of distraction strategies for dealing with short-term pain with a rapid onset. Theoretical implications are discussed.The authors thank Darwyn E. Linder and Daniel M. Landers for their help in development of this research. The authors are also indebted to Sarah Colley, Jona Davis, Nanci Neuberger, and Rebecca Roberts for their assistance in data collection.     

Parent attributions of emotion to their children and the cues children use in perceiving their own emotions

A number of studies have demonstrated stable individual differences in the cues that generate emotions and other feeling states. These differences are assumed to arise from the cues parents use to identify their children's emotional states. As children learn about their own emotional states, they come to rely on these same cues. To test one implication of their view, the facial expressions of children (N=41) were manipulated and their feelings assessed. Some children reported emotions consistent with their expressions, while others reported emotions appropriate to the situation. In a separate procedure, their mothers were asked to identify the emotional states of children whose expressions were inconsistent with an account of their circumstances. Mothers who paid more attention to their children's expressive behavior had children who were more responsive to their own expressive behavior. In contrast, the mothers who were more responsive to situational cues had children whose emotions arose from the situational cues as well.The authors would like to thank numerous teachers and administrators of the Worcester Public School system in Worcester, Massachusetts, for their assistance.     

Varieties of size-specific visual selection

Compared time to evaluate stimuli of varying sizes. When Ss expect an upcoming stimulus to be a certain size, response time increases with the disparity between expected and actual size. There are, however, 2 size adjustment processes, and they reflect 2 types of visual selection. In the first, a shape-specific image representation is used to separate a visual object from a superimposed distractor. These representations require the type of slow size scaling demonstrated in imagery experiments. The second size scaling process is faster and not shape-specific. At any given time the visual system is set to process information at a particular scale, and that scale can be adjusted to match an object's size. Because both selection mechanisms depend on size, they probably occur at a relatively low, spatially organized processing level. These findings lead to a new explanation for results that had been taken as evidence for attentional selection at the level of object representations.