If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S, S] . An idempotent e of this ring will split the homotopy category: [X,Y ] ∼= e[X,Y ]⊕(1−e)[X,Y ] . We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that i...

To characterize categorical constraints associativity, commutativity and monoidality in the context of quasimonoidal categories, from a cohomological point of view, we define the notion of a parity (quasi)complex. Applied to groups gives non-abelian cohomology. The categorification functor from groups to monoidal categories provides the correspondence between the respective parity (quasi)comple...

Automata over a symmetric monoidal category M are introduced, and a multi-step simulation is defined among such automata. The collection of M automata is given the structure of a 2-category on the same objects as M , in which the vertical structure is determined by groups of indistinguishable simulations. TwoM -automata are called simulation equivalent if they are connected by an isomorphism of...

This paper extends the notion of ditopology to the case where openness and closedness are given in terms of {em a priori} unrelated Drading functions. The resulting notion of graded ditopology is considered both in the setting of lattices and in that textures, the relation between the two approaches being discussed in detail. Interrelations between graded ditopologies and ditopologies on textur...

We study the isometric spacelike embedding problem in scaled de Sitter space, and obtain Weyl-type estimates corresponding closedness space of embeddings.

The goal of this paper is to study the parametric vector equilibrium problems governed by vector topologically pseudomonotone maps. The main result gives sufficient conditions for closedness of the solution map defined on the set of parameters.

In this note, by means of the spectrum of the generating operator, we characterize the self-adjointness and closedness of the range of a normal and a self-adjoint Jordan *-derivation, respectively.

There are numerous occasions on which we need to reason about a finite number of events. And we often need to consider only those events which are given or which we perceive. These give rise to the Criteria of Finiteness and Closedness. Allen’s logic provides a way of reasoning about events. In this paper I examine Allen and Hayes’ axiomatisation of this logic, and develop two other axiomatisat...

A new class of weak weighted derivatives and its associated Sobolev spaces is introduced and studied. The proposed notion uses a variational formulation in its definition which generalizes the usual weighting of the classical weak derivative. Such a construction naturally leads to Sobolev spaces containing classes of discontinuous functions. Weak closedness with respect to both varying function...