A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination relevant comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets...

By introducing lattice-valued covers of a set, we present a general framework for uniform structures on very general L-valued spaces (for L an integral commutative quantale). By showing, via an intermediate L-valued structure of uniformity, how filters of covers may describe the uniform operators of Hutton, we prove that, when restricted to Girard quantales, this general framework captures Hutt...

The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...

We present here a family of posets which generalizes both partition and pointed partition posets. After a short description of these new posets, we show that they are Cohen-Macaulay, compute their Moebius numbers and their characteristic polynomials. The characteristic polynomials are obtained using a combinatorial interpretation of the incidence Hopf algebra associated to these posets. Résumé....

based on a complete heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a cartesian-closed category, calledthe category of $l-$ordered fuzzifying convergence spaces, in whichthe category of $l-$fuzzifying topological spaces can be embedded.in addition, two new categories are introduced, which are called the...

The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

A quantum causal topology is presented. This is modeled after a non-commutative scheme type of theory for the curved finitary spacetime sheaves of the non-abelian incidence Rota algebras that represent ‘gravitational quantum causal sets’. The finitary spacetime primitive algebra scheme structures for quantum causal sets proposed here are interpreted as the kinematics of a curved and reticular l...

Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

We prove that the infinite tensor power of a unital separable C∗-algebra absorbs the Jiang-Su algebra Z tensorially if and only if it contains, unitally, a subhomogeneous algebra without characters. This yields a succinct universal property for Z in a category so large that there are no unital separable C∗-algebras without characters known to lie outside it. This category moreover contains the ...

We describe how self-adjoint ordered operator spaces, also called non-unital systems in the literature, can be understood as $*$-vector spaces equipped with a matrix gauge structure. explain this perspective has several advantages over other notions of literature. In particular, category includes injective objects and Webster-Winkler-type duality theorem, both which we show generally fail syste...