This study models innovation diffusion process with brand-level competition, focusing on the competition among ADSL service providers in Japan. For a particular brand (service provider), the diffusion process is assumed to be influenced by three forces: (1) the external influence through mass media, (2) the internal influence of the communication with the brand adopters, and (3) the influence d...

■ How does the brain translate an internal representation of an object into a decision about the objectʼs category? Recent studies have uncovered the structure of object representations in inferior temporal cortex (IT) using multivariate pattern analysis methods. These studies have shown that representations of individual object exemplars in IT occupy distinct locations in a high-dimensional ac...

In the first part of this note an elementary proof is given of the fact that algebraic functors, that is, functors induced by morphisms of Lawvere theories, have left adjoints provided that the category K in which the models of these theories take their values is locally presentable. The main focus however lies on the special cases of the underlying functor of the category Grp(K) of internal gr...

This study investigated the relation between the internal structure of phonetic categories and consonant intelligibility. For two phonetic contrasts (/s/-/ʃ/ and /b/-/p/), 32 iterations per category were elicited for each of 40 talkers from a same accent group and age range, and measures of cross-category distance and within-category dispersion were obtained. These measures varied substantially...

Human categorization research is dominated by work in classi cation learning. The eld may be in danger of equating the classi cation learning paradigm with the more general phenomenon of category learning. This paper compares classi cation and inference learning and nds that different patterns of behavior emerge depending on which learning mode is engaged. Inference learning tends to focus subj...

The paper introduces recognizable languages as inverse images of sets of arrows from finite categories internal to monoids. The first result is the Myhill-Nerode Theorem as a conservative extension of the classic result for tree languages. The second result shows that a language of planar acyclic circuit diagrams whose gates have non-empty lists of input and output ports is recognizable if, and...

We present ongoing work into the systematic study of the use of dual adjunctions in coalgebraic modal logic. We introduce a category of internal models for a modal logic. These are constructed from syntax, and yield a generalised notion of canonical model. Further, expressivity of a modal logic is shown to be characterised by factorisation of its models via internal models and the existence of ...

The sheaves over the category of lters, with a joint cover topology, serve as a universe of sets where nonstandard analysis can be developed along constructive principles. In this paper we show that all functions between internal sets in this model are internal. We also illustrate how this model can be used by giving a constructive nonstandard proof of the Implicit Function Theorem.