Related papers: On $\mathscr{T}$-based orthomodular dynamic algebr…
In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular…
We discuss factorization of the hypergeometric-type difference equations on the uniform lattices and show how one can construct a dynamical algebra, which corresponds to each of these equations. Some examples are exhibited, in particular,…
A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with…
Let $\bar{S}_2$ be the Lie algebra of polynomial vector fields on $A_2=\mathbb{C}[t_1,t_2]$ with constant divergence.In this paper, we first show that each block $\Omega^{\widetilde{S}_2}_{\mathbf{a}}$ of the category of $(A_2,…
Online Analytical Processing (OLAP) comprises tools and algorithms that allow querying multidimensional databases. It is based on the multidimensional model, where data can be seen as a cube, where each cell contains one or more measures…
This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full…
Physical theories can be characterized in terms of their state spaces and their evolutive equations. The kinematical structure and the dynamical structure of finite dimensional quantum theory are, in light of the Choi-Jamio{\l}kowski…
We study the general properties of commutative differential graded algebras in the category of representations over a reductive algebraic group with an injective central cocharacter. Besides describing the derived category of differential…
We propose a new point of view on quantum cohomology, strongly motivated by the work of Givental and Dubrovin, but closer to differential geometry than the existing approaches. The central object is the D-module which "quantizes" a…
Dynamical systems appear in nearly every aspect of the physical world. As such, understanding the properties of dynamical systems is of great importance. Typically, a dynamical system is described by a system of ordinary differential…
We study geometric representation theory of Lie algebroids. A new equivalence relation for integrable Lie algebroids is introduced and investigated. It is shown that two equivalent Lie algebroids have equivalent categories of infinitesimal…
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic…
The generalized h-dependent operator algebra is defined ($0\leq h \leq h_o$). For h= h_o it becomes equivalent to the quantum mechanical algebra of observables and for h=0 it is equivalent to the classical one. We show this by proposing how…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in several ways: i) it preserves truth of positive formulas, ii)…
A differential calculus on an associative algebra A is an algebraic analogue of the calculus of differential forms on a smooth manifold. It supplies A with a structure on which dynamics and field theory can be formulated to some extent in…
Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…
Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod.…
Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…