Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a high-level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or t...

We introduce the class of linearly S-closed spaces as a proper subclass H-closed spaces. This property lies between S-closedness and countable S-closedness. A space is called if only any semi-open chain cover posses member dense in space. It shown that extremally disconnected coincide. gave characterizations these terms s-accumulation points filter bases complete families open subsets. While re...

We discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the cactus group. We focus on the categories of representations of quantum groups and crystals and explain how while the former is a braided monoidal category, this structure does not pas...

In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg–Moore category CT that represents bimorphisms. The category of actions in CT is then shown to be monadic over the base category C.

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg–Moore category CT that represents bimorphisms. The category of actions in CT is then shown to be monadic over the base category C.

We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra (full centre) in the monoidal centre of the monoidal category. We establish Morita invariance of this construction by extending it to module categories. As an example we treat the case of group-theoretical categories.

It was argued by Crans that it is too much to ask that the category of Gray-categories admit a well behaved monoidal biclosed structure. We make this precise by establishing undesirable properties that any such monoidal biclosed structure must have. In particular we show that there does not exist any tensor product making the model category of Gray-categories into a monoidal model category.