相关论文: On the first order operators in bimodules

We extend the rational homotopy theory of operads developed by B. Fresse to several types of modules over operads.

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…

This paper proposes first-order modal $\xi$-calculus as well as genealogical Kripke models. Inspired by modal $\mu$-calculus, first-order modal $\xi$-calculus takes a quite similar form and extends its inductive expressivity onto a…

In this paper we study the action of a generalization of the Binomial interpolated operator on the set of linear recurrent sequences. We find how the zeros of characteristic polynomials are changed and we prove that a subset of these…

In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we…

We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of…

One approach to multivariate operator theory involves concepts and techniques from algebraic and complex geometry and is formulated in terms of Hilbert modules. In these notes we provide an introduction to this approach including many…

The set of idempotents of a regular semigroup is given an abstract characterization as a regular biordered set in [2], and in [4] it is shown how a biordered set can be associated with a complemented modular lattice. Von Neumann has shown…

A new and natural description of the category of unstable modules over the Steenrod algebra as a category of comodules over a bialgebra is given; the theory extends and unifies the work of Carlsson, Kuhn, Lannes, Miller, Schwartz, Zarati…

We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background factorization system. We prove a Joyal-style representation…

This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a…

Using the operators of taking upper and lower cones in a poset with a unary operation, we define operators M(x,y) and R(x,y) in the sense of multiplication and residuation, respectively, and we show that by using these operators, a general…

The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary Classes of modules--has produced interesting results. This…

This paper aims to characterize boundedness of composition operators on Besov spaces $B^s_{p,q}$ of higher order derivatives $s>1+1/p$ on the one-dimensional Euclidean space. In contrast to the lower order case $0<s<1$, there were a few…

Multitildes are regular operators that were introduced by Caron et al. in order to increase the number of Glushkov automata. In this paper, we study the family of the multitilde operators from an algebraic point of view using the notion of…

Our aim in this paper is to investigate the first Hochschild cohomology of {\em admissible algebras} which can be seen as a generalization of basic algebras. For this purpose, we study differential operators on an admissible algebra.…

We establish a coupled fixed points theorem for a meaningful class of mixed monotone multivalued operators and then we use it to derive some results on existence of quasisolutions and solutions to first--order functional differential…

We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which…

In this paper we study some basic properties of bicomplex linear operators on bicomplex Hilbert spaces. Further we discuss some applications of Hahn-Banach theorem on bicomplex Banach modules. We also introduce and discuss some bicomplex…