Related papers: Note on Toda brackets
We prove, for a class of first order differential operators containing the generalized gradients, Dirac and Penrose twistor operators, a family of Kato inequalities that interpolates between the classical and the refined Kato. For the…
This paper extends the results of "Operads and Algebraic Homotopy" in giving algebraic invariants for the stable homotopy type of a pointed simply-connected simplicial set.
We describe the orbit structure for the action of the centralizer group of a linear operator on a finite-dimensional complex vector space. The main application is to the classification of solutions to a system of first-order ODEs with…
Intersection types have been originally developed as an extension of simple types, but they can also be used for refining simple types. In this survey we concentrate on the latter option; more precisely, on the use of intersection types for…
In this paper, we introduce a new type of Darbo's fixed point theorem by using concept of function sequences with shifting distance property. Afterward, we investigate existence of fixed point under this the theorem. Also we are going to…
We give a survey of the connection between orthogonal polynomials, Toda lattices and related lattices, and Painlev\'e equations (discrete and continuous).
The present article is devoted to introduce, in a braided monoidal setting, the notion of module over a relative Rota-Baxter operator. It is proved that there exists an adjunction between the category of modules associated to an invertible…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics,…
Moss' theorem, which relates Massey products in the $E_r$-page of the classical Adams spectral sequence to Toda brackets of homotopy groups, is one of the main tools for calculating Adams differentials. Working in an arbitrary symmetric…
In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…
Recently it has been shown that antibrackets may be expressed in terms of Poisson brackets and vice versa for commuting functions in the original bracket. Here we also introduce generalized brackets involving higher antibrackets or higher…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
The relationship is made between matrix integrals, Toda master-symmetries, Virasoro constraints and orthogonal polynomials.
In this paper we introduce and study a new class of operators related to norm bounded sets on Banach Lattice and which brings together several classical classes of operators (as o-weakly compact operators, b-weakly compact operators,…
We investigate trace formulas for Jacobi operators which are trace class perturbations of quasi-periodic finite-gap operators using Krein's spectral shift theory. In particular we establish the conserved quantities for the solutions of the…
We present an elementary derivation of the soliton-like solutions in the $A_n^{(1)}$ Toda models which is alternative to the previously used Hirota method. The solutions of the underlying linear problem corresponding to the N-solitons are…
We show, assuming a mild set-theoretic hypothesis, that if an abstract elementary class (AEC) has a superstable-like forking notion for models of cardinality $\lambda$ and a superstable-like forking notion for models of cardinality…
In this article, a new class of operators, termed Ad-contractions, is introduced to extend the framework of A-contractions to the setting of dislocated metric spaces. Fixed point results are established for single mappings, sequences of…
This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…