Results 1 to 10 of about 768 (117)
What is category theory to cognitive science? Compositional representation and comparison [PDF]
Frontiers in Psychology, 2022 Category theorists and cognitive scientists study the structural (analogical) relations between domains of interest albeit in different contexts, that is, formal and psychological systems, respectively.
Steven Phillips
doaj +2 more sources
Predicting Change in Emotion through Ordinal Patterns and Simple Symbolic Expressions
Mathematics, 2022 Human interlocutors may use emotions as an important signaling device for coordinating an interaction. In this context, predicting a significant change in a speaker’s emotion may be important for regulating the interaction.
Yair Neuman, Yochai Cohen
doaj +1 more source
Geometrical properties of the space of idempotent probability measures
Applied General Topology, 2021 Although traditional and idempotent mathematics are "parallel'', by an application of the category theory we show that objects obtained the similar rules over traditional and idempotent mathematics must not be "parallel''.
Kholsaid Fayzullayevich Kholturayev
doaj +1 more source
Functor of Idempotent Probability Measures with Compact Support and Open Mappings
Современная математика: Фундаментальные направления, 2021 In this paper, we show that the functor of idempotent probability measures with compact support acting in the category of Tikhonov spaces and their continuous mappings is normal. It is found that this functor is monodic.
A. Ya. Ishmetov
doaj +1 more source
Strongly Complete Logics for Coalgebras [PDF]
Logical Methods in Computer Science, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky
doaj +1 more source
Вестник Самарского университета: Естественнонаучная серия, 2023 In this short communication we prove that the subspace Pn,n−1(X)of all probability measures P(X), whose supports consist of exactly n points is an (n−1)-dimensional topological manifold.
Mikhail V. Dolgopolov +1 more
doaj +1 more source
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +1 more source
On paracompact spaces and projectively inductively closed functors
Applied General Topology, 2002 In this paper we introduce a notion of projectively inductively closed functor (p.i.c.-functor). We give sufficient conditions for a functor to be a p.i.c.-functor. In particular, any finitary normal functor is a p.i.c.-functor.
T.F. Zhuraev
doaj +1 more source
Completeness for the coalgebraic cover modality [PDF]
Logical Methods in Computer Science, 2012 We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional
Clemens Kupke +2 more
doaj +1 more source
AI for identifying social norm violation
Scientific Reports, 2023 Identifying social norms and their violation is a challenge facing several projects in computational science. This paper presents a novel approach to identifying social norm violations.
Yair Neuman, Yochai Cohen
doaj +1 more source