Related papers: The theory of implicit operations

This is an expository article about operads in homotopy theory written as a chapter for an upcoming book. It concentrates on what the author views as the basic topics in the homotopy theory of operadic algebras: the definition of operads,…

We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…

We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie…

We investigate algebras with one operation. We study when these algebras form a monoidal category and analyze Koszulness and cyclicity of the corresponding operads. We also introduce a new kind of symmetry for operads, the dihedrality,…

This article is centered around generalizing a previous implicit function theorem of the author to be applicable for maps f:E sqcap F to F which can be lifted to Keller C^k_pi maps f_i:E sqcap F_i to F_i with F_i Banach and F=projlim F_i .…

The theory of operads (May, cyclic, modular, PROPs, etc) is extended to include higher dimensional phenomena, i.e. operations between operations, mimicking the algebraic structure on varieties of arbitrary dimensions, having marked…

We show that a class of algebras is closed under the taking of homomorphic images and direct products if and only if the class consists of all algebras that satisfy a set of (generally simultaneous) equations. For classes of regular…

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

We consider the Krall-Sheffer class of admissible, partial differential operators in the plane. We concentrate on algebraic structures, such as the role of commuting operators and symmetries. For the polynomial eigenfunctions, we give…

This article studies the construction of Hopf algebras $H$ acting on a given algebra $K$ in terms of algebra morphisms $ \sigma \colon K \rightarrow \mathrm{M}_n(K)$. The approach is particularly suited for controlling whether these actions…

In this paper, we study partial actions of groups on $R$-algebras, where $R$ is a commutative ring. We describe the partial actions of groups on the indecomposable algebras with enveloping actions. Then we work on algebras that can be…

Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…

In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we…

This article handles in a short manner a few Laplace transform pairs and some extensions to the basic equations are developed. They can be applied to a wide variety of functions in order to find the Laplace transform or its inverse when…

Given a von Neumann algebra $M$ with a faithful normal finite trace, we introduce the so called finite tracial algebra $M_f$ as the intersection of $L_p$-spaces $L_p(M, \mu)$ over all $p \geq 1$ and over all faithful normal finite traces…

We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…

First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped…

Let $A=\underrightarrow{\lim}{A_n}$ be an AF algebra, $G$ be a compact group. We consider inductive limit actions of the form $\alpha=\underrightarrow{\lim}{\alpha_n}$, where $\alpha_n\colon G\curvearrowright A_n$ is an action on the finite…