motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category   topsys   of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

The topic of sets with fuzzy order relations valuated in complete lattices with additional structure has been quite active in the recent decade, and a number of papers have been published (see [3, 5, 6] among many others). Based on a quantale-valued order relation and subset membership, counterparts to common order-theoretic notions can be defined, like monotone mappings, adjunctions, joins and...

While the study of quantale-like structures goes back up to the 1930’s (notwithstanding that the term itself was introduced in [2] in connection with certain aspects of C∗-algebras), there has recently been much interest in quantales in a variety of contexts. The most important connection probably is with Girard’s linear logic. In particular, one can enunciate the following slogan: Quantales ar...

It is shown that every two-variable adjunction in categories enriched a commutative quantale serves as base for constructing Isbell adjunctions between functor categories, and Kan are precisely constructed from suitable associated adjunctions. Representation theorems established fixed points of these

The construction of the formal ball model for metric spaces due to Edalat and Heckmann was generalized Q-categories by Kostanek Waszkiewicz, where Q is a commutative unital quantale. This paper concerns influence structure quantale on connection between Yoneda completeness directed their sets balls. In case that unit interval [0, 1] equipped with continuous t-norm &, it shown in order each Q-ca...

The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor T : Ω-Cat //Ω-Cat in order to obtain the modal operators and axioms describing transitions of type T . Here we give a logical description of the dual of Ω-Cat.

When replacing the non-negative real numbers with their addition by a commutative quantale V, under a metric lens one may then view small V-categories as sets that come with a V-valued distance function. The ensuing category V-Cat is well known to be a concrete topological category that is symmetric monoidal closed. In this paper we show which concrete symmetric monoidalclosed topological categ...

We consider compatible group structures on a V -category, where is quantale, and we study the topological algebraic properties of such groups. Examples are preordered groups, metric ultrametric probabilistic (ultra)metric In particular, show that, when frame, symmetric -groups satisfy very strong categorical-algebraic properties, typical category form protomodular category.