A result by Curien establishes that filiform concrete data structures can be viewed as games. We extend the idea to cover all stable concrete data structures. This necessitates a theory of games with an equivalence relation on positions. We present a faithful functor from the category of concrete data structures to this new category of games, allowing a game-like reading of the former. It is po...

A category with finite products and finite coproducts is said to be distributive if the canonical map A×B + A×C → A× (B + C) is invertible for all objects A, B, and C. Given a distributive category D , we describe a universal functor D → Dex preserving finite products and finite coproducts, for which Dex is extensive; that is, for all objects A and B the functor Dex/A × Dex/B → Dex/(A + B) is a...

The 2-category VAR of finitary varieties is not varietal over CAT . We introduce the concept of an algebraically exact category and prove that the 2-category ALG of all algebraically exact categories is an equational hull of VAR w.r.t. all operations with rank. Every algebraically exact category K is complete, exact, and has filtered colimits which (a) commute with finite limits and (b) distrib...

We will study the existence of different types of the Riesz Decomposition Property for the lexicographic product of two partially ordered groups. A special attention will be paid to the lexicographic product of the group of the integers with an arbitrary po-group. Then we apply these results to the study of n-perfect pseudo effect algebras. We show that the category of strong n-perfect pseudo-e...

In the theory of dynamical Yang-Baxter equation, with any Hopf algebra H and a certain H-module and H-comodule algebra L (base algebra) one associates a monoidal category. Given an algebra A in that category, one can construct an associative algebra A⋊L, which is a generalization of the ordinary smash product when A is an ordinary H-algebra. We study this ”dynamical smash product” and its modul...

A symmetric monoidal category is a category equipped with an associative and commutative (binary) product and an object which is the unit for the product. In fact, those properties only hold up to natural isomorphisms which satisfy some coherence conditions. The coherence theorem asserts the commutativity of all linear diagrams involving the left and right unitors, the associator and the braidi...

Marketing communication plays a major role in influencing consumer purchases in new product categories. An important question about this communication is whether it plays an informative or a persuasive role over the life cycle of the new product category. We expect that consumer uncertainty about the attributes of brands in the new category is high in the early stages of the product life cycle ...

In [HL1]–[HL5] and [H1], a theory of tensor products of modules for a vertex operator algebra is being developed. To use this theory, one first has to verify that the vertex operator algebra satisfies certain conditions. We show in the present paper that for any vertex operator algebra containing a vertex operator subalgebra isomorphic to a tensor product algebra of minimal Virasoro vertex oper...

We study a BGG-type category of infinite-dimensional representations of H[W ], a semidirect product of the quantum torus with parameter q, built on the root lattice of a semisimple group G, and the Weyl group of G. Irreducible objects of our category turn out to be parametrized by semistable G-bundles on the elliptic curve C∗/qZ .

We describe Somekawa’s K-group associated to a finite collection of semi-abelian varieties (or more general sheaves) in terms of the tensor product in Voevodsky’s category of motives. While Somekawa’s definition is based on Weil reciprocity, Voevodsky’s category is based on homotopy invariance. We apply this to explicit descriptions of certain algebraic cycles.