Results 1 to 10 of about 70,846 (249)
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 +5 more sources
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 +6 more sources
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
Applied Categorical Structures, 2016 Complete version, added more material, small corrections; 40 pages, 1 ...
Wiesław Kubiś, Dragan Mašulović
openaire +3 more sources
Вестник Самарского университета: Естественнонаучная серия, 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
New directions in general fuzzy automata: a dynamic-logical view [PDF]
AUT Journal of Mathematics and Computing, 2020 In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t.
Khadijeh Abolpour +2 more
doaj +1 more source
The Information Loss of a Stochastic Map
Entropy, 2021 We provide a stochastic extension of the Baez–Fritz–Leinster characterization of the Shannon information loss associated with a measure-preserving function. This recovers the conditional entropy and a closely related information-theoretic measure that we
James Fullwood, Arthur J. Parzygnat
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