It is observed that the axioms for partial metrics with values in quantales coincide with the axioms for Q-sets (M -valued sets, sets with fuzzy equality, quantale-valued sets) for commutative quantales. Ω-sets correspond to the case of partial ultrametrics.

We show that for a commutative quantale V every functor Set −→ V -cat has an enriched leftKan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V -cat. Moreover, one can build functors on V -cat by equipping Set-functors with a metric. 1998 ACM Subject Classification F.4.1 Mathematical Logic

Recent investigations of lax algebras—in generalization of Barr’s relational algebras—make an essential use of lax extensions of monad functors on Set to the category Rel(V) of sets and V-relations (where V is a unital quantale). For a given monad there may be many such lax extensions, and different constructions appear in the literature. The aim of this article is to shed a unifying light on t...

We use non-standard analysis to define a category ?Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it. We show the existence of unital special commutative †-Frobenius algebras, and we conclude ?Hilb to be compact closed, with partial traces and a Hilbert-Schmidt inner product on morphi...

6 Introduction to Affine Schemes 2 6.1 Rings and Modules of Fractions . . . . . . . . . . . . . . . . . 2 6.2 The Spectrum of a Unital Commutative Ring . . . . . . . . . 5 6.3 The Spectrum of a Quotient Ring . . . . . . . . . . . . . . . . 7 6.4 The Spectrum of a Ring of Fractions . . . . . . . . . . . . . . 9 6.5 Intersections of Prime Ideals . . . . . . . . . . . . . . . . . . . 11 6.6 Topolo...

This paper is concerned with the relationship between contexts, closure spaces, and complete lattices. It is shown that, for a unital quantale L, both formal concept lattices and property oriented concept lattices are functorial from the category L-Ctx of L-contexts and infomorphisms to the category L-Sup of complete L-lattices and suprema-preserving maps. Moreover, the formal concept lattice f...

We show that if T is an isometry (as metric spaces) between the invertible groups of unital Banach algebras, then T is extended to a surjective real-linear isometry up to translation between the two Banach algebras. Furthermore if the underling algebras are closed unital standard operator algebras, (T (eA)) −1 T is extended to a surjective real algebra isomorphism; if T is a surjective isometry...

for two algebras $a$ and $b$, a linear map $t:a longrightarrow b$ is called separating, if $xcdot y=0$ implies $txcdot ty=0$ for all $x,yin a$. the general form and the automatic continuity of separating maps between various banach algebras have been studied extensively. in this paper, we first extend the notion of separating map for module case and then we give a description of a linear separa...

Let $A$ and $B$ be two unital $C^{*}$-algebras and $varphi:A rightarrow B$ be a linear map. In this paper, we investigate the structure of linear maps between two $C^{*}$-algebras that preserve a certain property or relation. In particular, we show that if $varphi$ is unital, $B$ is commutative and $V(varphi(a)^{*}varphi(b))subseteq V(a^{*}b)$ for all $a,bin A$, then $varphi$ is a $*$-homomorph...