相关论文: Reflection and Preservation of Properties in Coalg…

We find conditions on ideals of an algebra under which the algebra is dibaric. Dibaric algebras have not non-zero homomorphisms to the set of the real numbers. We introduce a concept of bq-homomorphism (which is given by two linear maps $f,…

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

Computational reflection allows us to turn verified decision procedures into efficient automated reasoning tools in proof assistants. The typical applications of such methodology include mathematical structures that have decidable theory…

The Hilbert space effect algebra is a fundamental mathematical structure which is used to describe unsharp quantum measurements in Ludwig's formulation of quantum mechanics. Each effect represents a quantum (fuzzy) event. The relation of…

We prove that the Calogero-Sutherland Model with reflections (the BC_N model) possesses a property of duality relating the eigenfunctions of two Hamiltonians with different coupling constants. We obtain a generating function for their…

We formulate a systematic construction of commuting quantum traces for reflection algebras. This is achieved by introducing two sets of generalized reflection equations with associated consistent fusion procedures. Products of their…

Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the…

We express the defining relations of the $q$-deformed Minkowski space algebra as well as that of the corresponding derivatives and differentials in the form of reflection equations. This formulation encompasses the covariance properties…

In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…

We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…

Quadratic algebras related to the reflection equations are introduced. They are quantum group comodule algebras. The quantum group $F_q(GL(2))$ is taken as the example. The properties of the algebras (center, representations, realizations,…

In this thesis, we develop the theory of bifibrations of polycategories. We start by studying how to express certain categorical structures as universal properties by generalising the shape of morphism. We call this phenomenon…

We propose a reflection principle for holomorphic objects in ${\Bbb C}^n$. Our construction generalizes the classical principle of H.Lewy, S.Pinchuk and S.Webster.

The main purpose of this paper is to provide a second cohomology group of a (metric) Hom-Jacobi algebra with coefficients in a given representation. Moreover, we show that second cohomology group classifies abelian extensions of a (metric)…

In this note, we observe a relation between dialgebras (in particular, Leibniz algebras) and conformal algebras. The purpose is to show how the methods of conformal algebras help solving problems on dialgebras, and, conversely, how the…

We give some basics about homological algebra of difference representations. We consider both the difference-discrete and the difference-rational case. We define the corresponding cohomology theories and show the existence of spectral…

In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small…

The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of…

This paper is a review of concepts from graded commutative algebra with specific attention given to length and multiplicity. The author's motivation for this paper comes from the study of equivariant cohomology in algebraic topology where…

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate.Moreover, to model concurrent and…