in this work, we describe an adjunction between the comma category of set-based monads under the v -powerset monad and the category of associative lax extensions of set-based monads to the category of v -relations. in the process, we give a general construction of the kleisli extension of a monad to the category of v-relations.

In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.

By exploiting the description of topological spaces by either neighborhood systems or filter convergence, we obtain a neighborhood-like presentation of categories of lax algebras. The simplicity of this presentation pinpoints the importance of the Kleisli extension, which is introduced as a particular lax extension of the associated monad functor.

We study the extension of integrable equations which possess the Lax representations to noncommutative spaces. We construct various noncommutative Lax equations by the Lax-pair generating technique and the Sato theory. The Sato theory has revealed essential aspects of the integrability of commutative soliton equations and the noncommutative extension is worth studying. We succeed in deriving va...

We consistently develop a recently proposed scheme of matrix extension dispersionless integrable systems for the general case multidimensional hierarchies, concentrating on dimension $d\geqslant 4$. present extended Lax pairs, Lax-Sato equations, equations background vector fields and dressing scheme. Reductions, construction solutions connections to geometry are discussed. consider separately ...

We establish a general coherence theorem for lax operad actions on an n-category which implies that an n-category with such an action is lax equivalent to one with a strict action. This includes familiar coherence results (e.g. for symmetric monoidal categories) and many new ones. In particular, any braided monoidal n-category is lax equivalent to a strict braided monoidal n-category. We also o...

We discuss commuting flows and conservation laws for Lax hierarchies on noncommutative spaces in the framework of the Sato theory. On commutative spaces, the Sato theory has revealed essential aspects of the integrability for wide class of soliton equations which are derived from the Lax hierarchies in terms of pseudo-differential operators. Noncommutative extension of the Sato theory has been ...

A propositional logic program P may be identified with a PfPf -coalgebra on the set of atomic propositions in the program. The corresponding C(PfPf )-coalgebra, where C(PfPf ) is the cofree comonad on PfPf , describes derivations by resolution. Using lax semantics, that correspondence may be extended to a class of first-order logic programs without existential variables. The resulting extension...

For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...