Rios and Selinger have recently proposed a categorical model for the quantum programming language Proto-Quipper-M, which is an important fragment of the Quipper language. In this work, we describe an extension to their categorical model with the additional property that it is DCPOenriched, bringing us closer to modeling general recursion in the language. Similar to their model, our model exhibi...

We introduce the notion of reset left regular decomposition of an ideal regular language and we prove that the category formed by these decompositions with certain morphisms is equivalent to the category of strongly connected synchronizing automata. We show that each ideal regular language has at least a reset left regular decomposition. As a consequence, each ideal regular language is the set ...

The present paper deals with the national specifics of the assessment aspect in the meaning of the words. A modern scientific paradigm considers the language as a cognitive tool of understanding the world and keeping and representing people’s experience and values which reflect the people’s vision of the world (“the world picture). Usually linguistics understands the language ...

Language is a powerful instrument for extracting relational information from stimuli. In a label extension task common labels invite comparison processes that help children focus on the more subtle relational similarity and away from the readily available perceptual similarity of the stimuli. The current experiment aims to explore whether non-linguistic representations of category membership ar...

This article addresses the issue of representation German language status in legislative texts Federal Republic Germany absence category «state language». The research methodology is based on E. S. Kubryakova's understanding nominative aspect speech activity, who distinguishes two ways designating objects: both through nomination and predication. aim this paper to determine main functions lingu...

We give an algebraic characterization of the syntax and operational semantics of a class of simply–typed languages, such as the language PCF: we characterize simply–typed syntax with variable binding and equipped with reduction rules via a universal property, namely as the initial object of some category of models. For this purpose, we employ techniques developed in two previous works: Ahrens (...

The article deals with the description of the conceptual and linguistic nature, the modus character and the field structure of the linguistic category of the approximation. It also deals with the analysis of the role of the inherent and adherent approximators as well as the context in the realization of the invariant meaning of the approximation in the German language. Pragmatic potential of th...

Using the isomorphism from [3] between the category Pries of Priestley spaces and the category PStone of pairwise Stone spaces we construct a Vietoris hyperspace functor on the category PStone related to the Vietoris hyperspace functor on the category Pries [4, 18, 24]. We show that the coalgebras for this functor determine a semantics for the positive fragment of modal logic. The sole novelty ...

Language provides an efficient, uniquely human way of transmitting non-obvious category information between individuals and across generations. To explore whether it can serve this purpose even for very young children, we conducted two experiments: one with 24-month-olds, and the other with preschoolers. Children made non-obvious inferences about perceptually misleading animals. Those who heard...