It is possible to translate a modified version of K. Worytkiewicz’s combinatorial semantics of CCS (Milner’s Calculus of Communicating Systems) in terms of labelled precubical sets into a categorical semantics of CCS in terms of labelled flows using a geometric realization functor. It turns out that a satisfactory semantics in terms of flows requires to work directly in their homotopy category ...

In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.

the main aim is to study the two dimensional axisymmetric problem of thick circular plate in modified couple stress theory with heat and mass diffusive sources. the thermoelastic theories with mass diffusion developed by sherief et al. [1] and kumar and kansal [2] have been used to investigate the problem. laplace and hankel transforms technique is applied to obtain the solutions of the governi...

Research in category learning has been dominated by a ‘reference point’ view in which items are classified based on attention-weighted similarity to reference points (e.g., prototypes, exemplars, clusters) in a multidimensional space. Although much work has attempted to distinguish between particular types of reference point models, they share a core design principle that items will be classifi...

with success of islamic revolution of iran in 1979, the category of religious belifes and values converted to one of the most important and constitutive principles in iran s foreign policy that reflected in decision-making sphere. this article with concerning islamic identity as a revival fragment in central asia and it,s inability to play constructive role in iran,s national interest securing,...

State-trace analysis was used to investigate the effect of concurrent working memory load on perceptual category learning. Initial reanalysis of Zeithamova and Maddox (2006, Experiment 1) revealed an apparently two-dimensional state-trace plot consistent with a dual-system interpretation of category learning. However, three modified replications of the original experiment found evidence of a si...