相关论文: Reflection and Preservation of Properties in Coalg…
Temporal logics are an obvious high-level descriptive companion formalism to dynamical systems which model behavior as deterministic evolution of state over time. A wide variety of distinct temporal logics applicable to dynamical systems…
The first aim of this paper is to introduce and study symmetric (Bi)Hom-Leibniz algebras, which are left and right Leibniz algebras. We discuss $\alpha^k\beta^l$-generalized derivations, $\alpha^k\beta^l$ -quasi-derivations and…
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…
Recent contributions address the problem of language coexistence as that of two species competing to aggregate speakers, thus focusing on the dynamics of linguistic traits across populations. They draw inspiration from physics and biology…
Weighted automata are a generalization of nondeterministic automata that associate a weight drawn from a semiring $K$ with every transition and every state. Their behaviours can be formalized either as weighted language equivalence or…
We study representations of Hilbert bimodules on pairs of Hilbert spaces. If $A$ is a C*-algebra and $\mathsf{X}$ is a right Hilbert $A$-module, we use such representations to faithfully represent the C*-algebras $\mathcal{K}_A(\mathsf{X})$…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
We construct a version of the complex Heisenberg algebra based on the idea of endless analytic continuation. In particular, we exhibit an integral formula for the product of resurgent operators with algebraic singularities. This algebra…
Classical logics of knowledge and belief are usually interpreted on Kripke models, for which a mathematically well-developed model theory is available. However, such models are inadequate to capture dynamic phenomena. Therefore, epistemic…
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions…
In the present article, real number representations, that are generalizations of classical positive and alternating representations of numbers, are introduced and investigated. The main metric relation, properties of cylinder sets are…
Reflection equation algebras and related U_q(g)-comodule algebras appear in various constructions of quantum homogeneous spaces and can be obtained via transmutation or equivalently via twisting by a cocycle. In this paper we investigate…
The notion of prop models the operations with multiple inputs and multiple outpus, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras…
We introduce the notion of cyclic cohomology of an A-infinity algebra and show that the deformations of an A-infinity algebra which preserve an invariant inner product are classified by this cohomology. We use this result to construct some…
Computational models are quantitative representations of systems. By analyzing and comparing the outputs of such models, it is possible to gain a better understanding of the system itself. Though as the complexity of model outputs…
This note recapitulates and expands the contents of a tutorial on the mathematical theory of algebraic effects and handlers which I gave at the Dagstuhl seminar 18172 "Algebraic effect handlers go mainstream". It is targeted roughly at the…
Aim of this paper is to define a new type of cohomology for multiplicative Hom-Leibniz algebras which controls deformations of Hom-Leibniz algebra structure. The cohomology and the associated deformation theory for Hom-Leibniz algebras as…
We introduce the notion of a continuous biframe in a Hilbert space which is a generalization of discrete biframe in Hilbert space. Representation theorem for this type of generalized frame is verified and some characterizations of this…
Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations on a category A in the category of categories over A are studied; in particular, the reflections and the coreflections of the latter in the…
We study a physically motivated representation of an algebra of operators in gravitational and non gravitational theories called the covariant representation of an algebra. This is a representation where the symmetries of the operator…