Results 1 to 10 of about 69,891 (229)
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
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
The Greenberg functor revisited [PDF]
European Journal of Mathematics, 2018 We extend Greenberg\u2019s original construction to arbitrary schemes over (certain types of) local artinian rings. We then establish a number of properties of the extended functor and determine, for example, its behavior under Weil restriction.
Alessandra Bertapelle
exaly +3 more sources
The Information Loss of a Stochastic Map [PDF]
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 +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
Вестник Самарского университета: Естественнонаучная серия, 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
t-structures for relative D-modules and t-exactness of the de Rham functor [PDF]
, 2018 This paper is a contribution to the study of relative holonomic D-modules. Contrary to the absolute case, the standard t-structure on holonomic D-modules is not preserved by duality and hence the solution functor is no longer t-exact with respect to the
Fiorot, Luisa +1 more
core +3 more sources
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