Generalisation of the foundational basis for many-valued logic programming builds upon generalised terms in form of powersets of terms. A categorical approach involving set and term functors as monads allows for a study of monad compositions that provide variable substitutions, and compositions thereof. In this paper, substitutions and unifiers appear as constructs in Kleisli categories related...

The definition of a category of (T,V)-algebras, where V is a unital commutative quantale and T is a Set-monad, requires the existence of a certain lax extension of T. In this article, we present a general construction of such an extension. This leads to the formation of two categories of (T,V)-algebras: the category Alg(T,V) of canonical (T,V)-algebras, and the category Alg(T′,V) of op-canonica...

This paper presents the conceptual understanding and strategy modeling which include both technical and operational frameworks. The paper describes the categories of functional dependencies among the project events to identify the resources of technology, and frames the interoperating interfaces of physical and digital events to formulate a collaborative communication for ubiquitous computing e...

The Bass (1969) model has been the standard for analyzing and predicting the market penetration of new products. Recently a new class of non-parametric techniques, known as Functional Data Analysis (FDA), has shown impressive results within the statistics community. The authors demonstrate the insights to be gained and predictive performance of Functional Data Analysis on the market penetration...

The category ASA of bisemimodules over a semialgebra A, with the so called Takahashi’s tensor-like product − A −, is semimonoidal but not monoidal. Although not a unit in ASA, the base semialgebra A has properties of a semiunit (in a sense which we clarify in this note). Motivated by this interesting example, we investigate semiunital semimonoidal categories (V, •, I) as a framework for studyin...