On Metric-Type Spaces Based on Extended T -Conorms

: Kirk and Shahzad introduced the class of strong b-metric spaces lying between the class of b-metric spaces and the class of metric spaces. As compared with b-metric spaces, strong b-metric spaces have the advantage that open balls are open in the induced topology and, hence, they have many properties that are similar to the properties of classic metric spaces. Having noticed the advantages of strong b-metric spaces Kirk and Shahzad complained about the absence of non-trivial examples of such spaces. It is the main aim of this paper to construct a series of strong b-metric spaces that fail to be metric. Realizing this programme, we found it reasonable to consider these metric-type spaces in the context when the ordinary sum operation is replaced by operation ⊕ , where ⊕ is an extended t-conorm satisfying certain conditions.


Introduction
An important class of spaces was introduced by I.A. Bakhtin (under the name almost metric spaces) and rediscovered by S. Czerwik (under the name "b-metric spaces"). b-metric spaces generalize "classic" metric spaces by replacing in the definition of a metric the triangularity axiom d(x, z) ≤ d(x, y) + d(y, z) for all x, y, z ∈ X with a more general axiom d(x, z) ≤ k · (d(x, y) + d(y, z)) for all x, y, z ∈ X where k ≥ 1 is a fixed constant. The class of b-metric spaces includes such interesting and important for applications cases, as d : R × R → R + , where R + = [0, ∞) defined by d(x, y) = |x − y| 2 or d : C[a, b] × C[a, b] → R + defined by d( f , ) = b a ( f (x) − (x)) 2 dx. A series of b-metrics can be obtained from an ordinary metric by the following construction. Let k ≥ 1 be a fixed constant and let ϕ : R + → R + be a continuous increasing mapping, such that ϕ(0) = 0 and ϕ(a + b) ≤ k · (ϕ(a) + ϕ(b)) for all a, b ∈ R + . Further, let ρ : X × X → R + 0 be a metric on a set X, Then by setting d ρϕ (x, y) = (ϕ • ρ)(x, y) x, y ∈ X we get a b-metric d ρϕ on the set X, which, in case k > 1 fails to be a metric.
Recently there were published several papers where the induced topology of b-metric spaces was applied. Unfortunately, in most papers the authors assumed that the open balls B(a, r) = {x ∈ X | d(a, x) < r} are "really open", which is open in the induced topology. However, as it was noticed in [1] and soon rediscovered also in [2,3], it is generally not true. Some recent results concerning b-metric spaces can be found e.g., in [4][5][6][7] To "remedy" this "shortage" of b-metric spaces, in [1], Kirk and Shahzad introduced the class of strong b-metric spaces (in this paper we call them sb-metric spaces). In the definition of an sb-metric space the third (triangularity) axiom is given by the inequality d(x, y) ≤ d(x, z) + kd(z, y) for some k ≥ 1. Obviously, the class of sb-metric spaces lies in between the class of metric and the class of b-metric spaces. As shown by Kirk and Shahzad [1], in sb-metric spaces open balls are really open in the induced topology. Thanks to this fact, sb-metric spaces have many useful properties common (⊕ 4 ) 0 is the neutral element for ⊕, that is α ⊕ 0 = α.

Remark 1.
Note that in case operation ⊕ is defined on [0, 1] × [0, 1] and it takes its values in [0, 1], then the definition of extended t-conorm reduces to the concept of a t-conorm [8]. Just for this observation, we refer to ⊕ as an extended t-conorm.
⊕ is called compressible, if , ⊕ is called continuous at the bottom level, if this operation is continuous in all points of {0} × R + ⊂ R + × R + (and, hence, by symmetry also on R + × {0}).
Below, we give some examples of extended t-conorms ⊕, which are mentioned in the paper.

Example 1.
Let α ⊕ L β = α + β. Thus, ⊕ L : R + × R + → R + is an ordinary addition. It is obvious that + satisfies all properties from Definition 1. One can easily see that this operation ⊕ M is distributive and it is continuous on the whole space R + × R + . The compressibility of ∨ follows from the next easily provable lemma: It is obvious that ⊕ T satisfies properties ⊕ 1 , ⊕ 3 and ⊕ 4 from Definition 1.
We verify the associativity of ⊕ T , as follows.
The continuity of ⊕ T on the whole R + × R + is obvious. Unfortunately, ⊕ T is not distributive: and does not satisfy the property ⊕ 6 . For example 5 ≤ 2 ⊕ T 3 but 5 Obviously it is just the product t-conorm on the closed interval, and hence the properties of Definition 1 are valid. We do not know whether it is possible to extend the product t-conorm to the whole square R + × R + preserving properties ⊕ 1 − ⊕ 4 .

Example 5.
The h-shifted arithmetic sum, where h > 0 is a fixed constant and it is defined as and satisfies all properties from Definition 1. However, it is not distributive, since and is not continuous at any point on {0} × R + ∪ R + × {0}.

Metric-Type Structures Based on Extended T-Conorms
To make our exposition coherent, in the following definition, we specify the terminology concerning metric and its generalizations that can be found in the literature (see e.g., [9][10][11]): Definition 3. A mapping d : X × X → R + is called semi pseudometric if it satisfies the following two properties A semi-metric is a semi pseudometric satisfying the following strengthen version of the first axiom:

Remark 2.
In case ⊕ = +, that is an arithmetic addition, ⊕-(pseudo)metric, ⊕-b-(pseudo)metric and ⊕-sb-(pseudo)metric reduce to the definitions of an ordinary (pseudo)-metric, b-(pseudo)metric [12][13][14] and sb-(pseudo)-metric [1] (Actually Kirk and Shahazad [1] call this kind of a mapping by strong b-metric. However, we consider this term to be inappropriate, since it may lead to a misunderstanding when extending this notion to the case of fuzzy metric-type structures since it comes into collision with the concepts of a strong fuzzy metric and a strong b-fuzzy metric widely used in the literature). In this case, we usually omit sign ⊕.
By applying other extended t-conorm based operators, we obtain new versions of metric-type structures some of which will be considered in this paper.
Having these general definitions for different types of metric-type structures, in the sequel we will mainly be interested in ⊕sb-(pseudo)metrics, since just sb-(pseudo)metrics are the main purpose of this paper. However, for comparison, we will sometimes comment the versions of the obtained results for ⊕-sb-(pseudo)metrics in case of the ⊕-(pseudo)metrics from one side and in the case of b-(pseudo)metrics from the other. In particular, we will be interested in what properties of an extended t-conorm ⊕ are important for the validity of different properties of metric-type structures.
In order to make exposition more homogeneous, we will restrict to the case of ⊕-sb-metrics, which is with assumption of axiom (m 1 ). A reader can easily reformulate and verify the validity of our results for the case of ⊕sb-pseudometrics, which is without the assumption of axiom (m 1 ).

Categories of ⊕-Metric-Type Spaces
To view the ⊕-metric-type spaces considered in the previous section in the framework of a category, we have to define their morphisms, which is "continuous' mappings. To do this, we first define an open ball in a ⊕-metric type space. Definition 5. Given a set X, an extended t-conorm ⊕ and an ⊕-based metric-type structure d : X × X → R + .
We define an open ball B(a, r) with center a ∈ X and radius r > 0 in the space (X, d) as follows: We call an open ball B(a, r) really open, if, for every x ∈ B(a, r), there exists ε > 0, such that B(x, ε) ⊆ B(a, r).
Note that saying that a ball B(a, r) is really open just means that it is open in the topology obtained from the family {B(x, r) | x ∈ X, r > 0} as a base. We prove the theorem in the case of ⊕-sb-metric spaces. Patterned after this proof, a reader can easily prove it for ⊕-metric spaces. Certainly, this fact for ⊕-metric spaces in cases of ordinary metrics (⊕ = +) and ultrametrics (⊕ = ∨) is well known.

Proof. Consider the open ball
Notice that l α (0) = α < r and by assumption l α is continuous at 0. Proof. We prove the theorem in the case of ⊕-sb-metric spaces. Let d be a ⊕-sbk metric on X, y ∈ X − B[x, r] where x, y ∈ X, r > 0. We shall show that B(y,

Definition 6.
Two ⊕-sb-metrics (⊕-b-metrics) are called equivalent if they induce the same topology.
where d X and d Y are ⊕-metrics or ⊕-sb-metrics and ⊕ is a continuous extended t-conorm: for every a ∈ X, every ε > 0 there exists Theorem 4. If the extended t-conorm ⊕ is continuous, then an ⊕-sb-metric of the space (X, d) is continuous as the mapping d : Proof. Because the topology induced by an ⊕-sb-metric is first countable, it is sufficient to prove that, if (x n ) n∈N , (y n ) n∈N are sequences in X and lim n d(x n , x 0 ) = 0, lim n d(y n , y 0 ) = 0, then lim n d(x n , y n ) = d(x 0 , y 0 ). We do it as follows: Taking limits on the both sides of the inequality, we conclude first the existence of lim n d(x n , y n ) and then that lim n d(x n , y n ) = d(x 0 , y 0 ). Now we are ready to define some categories for ⊕-metric type spaces under the assumption that ⊕ is a continuous extended t-conorm.

1.
The objects of the category ⊕-Metr are pairs (X, d) where X is a set and d is an ⊕-metric on it.
The morphisms of the category ⊕-Metr are continuous mappings f : The objects of the category ⊕-Mtrz are pairs (X, T d ) where X is a set and T d is a topology induced by some ⊕-metric d. The morphisms of the category ⊕-Mtrz are continuous mappings The objects of the category ⊕-SbMetr of ⊕-sb-metric spaces are pairs (X, d) where X is a set and d is an ⊕-sb-metric on it. The morphisms of the category ⊕-SbMetr are continuous mappings By ⊕-SbkMetr, we denote the full subcategory of the category ⊕-SbMetr, whose objects are ⊕-sbk-metric spaces. 4.
The objects of the category ⊕-SbMtrz are pairs (X, T d ), where X is a set and T d is a topology that is induced by some ⊕-sb-metric d. The morphisms of the category ⊕-SbMtrz are continuous . Let ⊕-SbkMtrz be the full subcategory of ⊕-SbMtrz whose objects are obtained by ⊕-sbk-metrics.

5.
On the basis of ⊕-b-metrics we introduce two categories .
(a) (see [3]) Let S d be the family of all unions of open balls, that is The family S d is obviously a supratopology (see e.g., [16,17]), that is closed under taking arbitrary unions. S d need not be a topology: the intersection of even two elements U 1 , U 2 ∈ S d need not be in S d since an open ball need not be open in S d . Let ⊕-b-MetrS be a category whose objects are pairs (X, d) where X is a set and d is an ⊕-b-metric on it and whose morphisms are continuous mappings f : Let ⊕-b-MetrT be the category whose objects are pairs (X, d) where X is a set and d is an ⊕-b-metric on it and whose morphisms are
Proof. Notice that d 1 2 n , For any x, y, z ∈ X such that none of the pairs x, y , {x, z} , z, y is consecutive it holds Accordingly, we only need to investigate those x, y and z for which at least one of the pairs x, y , {x, z} , z, y is consecutive. Let x, y ∈ X be given. Without the loss of generality, we assume that x < y: If z = x or z = y, then the equality d(x, y) = d(x, z) + d(z, y) is obvious. If x < y < z, then it means that x and z are not consecutive and we have If z < x < y, then it means that z and y are not consecutive and we have and If x < z < y, then it means that x and y are not consecutive and d (x, y) = x − y . Here, we have three cases. Case 1: x and z are consecutive, but y and z are not consecutive.
For this case, x 0 since x and z are consecutive. Let x = 1 2 n , z = 1 2 n−1 < y. Here, notice that y > 1 2 n−2 . Subsequently, Case 2: x and z are not consecutive, but y and z are consecutive.

Remark 5.
In above example, d is not a metric. To see this, consider x = 1 2 2 , z = 1 2 1 and y = 1. Afterwards, On the other hand, the induced topology T d is the same as the topology induced on X by the ordinary topology on the real line. More precisely T d = T d , where d is the ordinary metric. Hence, T d is not a discrete space. However, any element X except 0 is an isolated point. 5], as follows: Subsequently, d is an sb3-metric.

Proof.
For any x, y, z ∈ X, we will show that We need to consider five cases: Case 1: if x, y, z ∈ X i , then it is obvious since d (x, y) is usual metric on each i-level. Case 2: if x, y ∈ X i and z ∈ X j , where i j, then d (x, y) ≤ 1, d (x, z) ≥ 1, d (y, z) ≥ 1 and Case 3: if x, z ∈ X i and y ∈ X j where i j, then d (x, y) = d (z, y) and Case 4: if x ∈ X i and y, z ∈ X j where i j, then d (x, y) = d (x, z) and Case 5: if x ∈ X i , y ∈ X j and z ∈ X k , where i j k, then we patterned the solution of Example 2.1 in [18]. Let fix i = a, j = b and k = c (note that other combinations would give the same results). Subsequently, we need to check the following:

Remark 6.
In the above example, notice that every i-level is an ordinary metric and, between the levels, it behaves as sb3-metric. Moreover, the induced topology does not contain any isolated point.

Example 8.
Let X be the unit disc and S 1 be the unit circle in R 2 with the center in the origin 0 = (0 1 , 0 2 ) of the plane and let the distance function d : X × X → R be defined, as follows: for x = (x 1 , x 2 ) and y = (y 1 , y 2 ) where d is the post office metric, which is d (x, y) = x 2 1 + x 2 2 + y 2 1 + y 2 2 . Then d is an sb2-metric which fails to be a metric.
Proof. Because other cases are obvious, the only case that we need investigate is the case when x, y ∈ S 1 and z S 1 .

Remark 7.
This example can be generalized for any other value of k ≥ 1 if we define d (x, y) = k + 1 for x, y ∈ S 1 .

Examples of ⊕-Metric Type Spaces
Example 9. Consider the discrete space X = {a, b, c} where the distance function d defined, as follows: Notice that d is neither a metric nor an ultra metric.
(3) If ⊕ = ⊕ T (see Example 2.7) then d is an ⊕-metric. Note that ⊕ T is not distributive. However, in this case, distributivity is not a necessary condition.
hold. We get them, as follows: Therefore, d is an ⊕-b 1 k -metric space. On the other hand, Hence, d is neither an ⊕-metric and nor an ⊕-sb-metric.
(c) Let k > 1. Subsequently, the only case we need to investigate is Here, again, we have and Hence, d is neither an ⊕-metric and nor an ⊕-sb-metric. However, and, hence, d is an ⊕-bk-metric.
Example 11. Now, we consider the above example where ⊕ is h-shifted arithmetic sum. Proof. The case (a) is obvious, since ⊕ ≥ +. (b) Let k < 1 and k + h ≥ 1, then we have Therefore, d is an ⊕-metric.
(c) Let k < 1 and k + h < 1, then we have Hence, d is an ⊕-b 1 k -metric. (d) Let k > 1 and 1 + h ≥ k, then we have means that d is an ⊕-metric. (e) Let k > 1 and 1 + h < k, then we have Consequently, d is an ⊕-b k 1+h -metric.

Remark 8.
Similarly, it can be shown that d is not an ⊕-sb 1 k -metric and d is not an ⊕-sb k 1+h -metric in the cases (c) and (e) in the above example, respectively.
Here, we want to emphasize that continuity of ⊕ at the bottom level is essential for the openness of the open balls for ⊕-sb metric spaces as well as for ⊕-metric spaces.

Products of ⊕-Sb-Metric Spaces
Here, we distinguish the cases of finite and infinite (countable) number of spaces.

Products of Finite Families of ⊕-Sb-Metric Spaces
Let {(X i , d i ) : i = 1, . . . , n} be a family of ⊕-sb-metrics spaces. Further, assume that (X i , d i ) is an ⊕-sbk i -metric space. Because the family is finite, we may take k = max{k 1 , . . . , k n }. Subsequently, all d i are ⊕-sbk-metrics. We define X = n i=1 X i and d : x, y ∈ X and x i , y i are i-th coordinates of x and y, respectively. Theorem 5. (X, d) is the product of the family {(X i , d i ) : i = 1, ·, n} in the category ⊕-SbMetr, where ⊕ is a distributive continuous on the bottom extended t-conorm. Besides, the topology T d that is induced by the ⊕-sb-metric d on X coincides with the product of the topologies T d i induced by ⊕-sb-metrics d i .
Proof. First, we have to show that d is an ⊕-sb-metric. Properties (m 1 ) and (m 2 ) of d follow obviously from the corresponding properties of all d i , i = 1, . . . , n, respectively. To show the validity of axiom (msb 3 ), we fix x, y, z ∈ X, and applying the axiom (msb 3 ) for every d i and disributivity of ⊕, we are reasoning, as follows: Further, let (Z, ρ) be an ⊕-sb-metric space and let for every i = 1, . . . , n a mapping ϕ i : Z → X i be continuous. Subsequently, from the construction, it is clear that, by setting ϕ(z) = (ϕ i (z) ∈ X i ) i=1,...,n , we obtain a continuous mapping ϕ : Z → X, such that p i • ϕ = ϕ i : Z → X i where p i : X → X i is the projection. Thus, (X, d) is the product of the family {(X i , d i ) : i = 1, ·, n} in the category ⊕-SbMetr. To show the second statement of the theorem, notice first that all of the projections p i : (X, d) → (X i , d i ) are continuous in ⊕-SbMetr. Indeed, let ε > 0 and a point a ∈ i X i be given. Because ⊕ is monotone and 0 is the neutral element of ⊕, we have a, b ≤ a ⊕ b for any a, b ∈ [0, 1]. Therefore, d i (a i , x i ) < ε for any i = 1, . . . n whenever d(a, x) < ε. Hence, the topology induced by the ⊕-sb-metric d is stronger or equal than the topology of the product of topologies T d i induced by ⊕-sb-metrics d i .
To prove the converse inequality, we show that every set U ⊆ X that is open in T d is also open in the product topology i T d i . Let a ∈ U, we fix ε > 0 such that B d (a, ε) ⊆ U. Subsequently, for each coordinate i, take the ball B d i (a i , ε n ). Applying distributivity and monotonicity of the t-conorm ⊕, we conclude that d i (a i , x i ) ≤ ε n for all i − 1, . . . , n implies d(a, x) ≤ ε. However, this means that and hence U is open in the product topology.
In case all d i in the previous theorem are ⊕-sbk-metrics with a fixed k, we get the following corollary: We define X = n i=1 X i and d : X × X → R + by d(x, y) = n i=1 d i (x i , y i ) where x, y ∈ X and x i , y i are i-th coordinates of x and y, respectively. Subsequently, patterned after the proof of Theorem 5, one can show that (X, d) is the product of the family {(X i , d i ) : i = 1, ·, n} in the category ⊕-bMetr. However, for the reasons discussed above, we cannot confirm the topological part of the previous theorem.

Products of Infinite Families of ⊕-Sb-Metrics
In case of infinite products, we have to restrict our results to the cases when ⊕ = + and ⊕ = ∨. Patterned after the standard proof of the theorem about the product of a countable family of ordinary metrics, see e.g., [19], we have to replace a given ⊕-sb-metric by an equivalent bounded ⊕-sb-metric, which is a metric that induces the same topology on the underlying set X. In order to do this, we ask the additional assumption that ⊕ is compressible, which is Lemma 2. Operations ⊕ = " + " and ⊕ = " ∨ " are compressible.
Proof. Obviously, satisfies properties (m 1 ) and (m 2 ). To show that axiom (msb 3 ) holds for d, we refer to the compressibility of ⊕ = + and the validity of this axiom for ρ and have The equivalence of the ⊕-sbk-metrics d and ρ is obvious, since they have the same convergent sequences.
1+ρ i (x,y) . We define X = i∈N X i and d : where x, y ∈ X and x i , y i are i th coordinates of x and y, respectively. Further, let p i : X → X i be the corresponding projection. Proof. We are reasoning patterned after the proof of Theorem 4.2.2 in [19]. Since d i (x i , y i ) ≤ 1 for every i ∈ N, i∈N 1 2 i d i (x i , y i ) ≤ 1 and hence the definition of the sum is correct. To show that d is thus defined an sbk-metric, note that the validity of axioms (m1 ) and (m2) is obvious. We verify the validity of axiom (mbs 3 ), as follows. Because all d i are sbk-metrics (with the same k) for the points x, y, z ∈ X, we have: Multiplying these inequalities by 1 2 i and summing them up, we obtain Further, let (Z, δ) be a sbk-metric space and let for every i ∈ N a mapping ϕ i : (Z, δ) → (X i , d i ) be continuous. Subsequently, from the construction, it is clear that, by setting ϕ(z) = (ϕ i (z) ∈ X i ) i∈N , we obtain a continuous mapping ϕ : Z → X, such that p i • ϕ = ϕ i : Z → X i where p i : X → X i is the projection. Thus, (X, d) is indeed the product of the spaces (X i , d i ) in the category SbkMetr.
The proof that topology T d induced by sbk-metric d coincides with the product of the topologies T d i induced by sbk-metrics d i can be done repeating verbatim the proof of Theorem 4.2.2 in [19].
Let now {(X i , ρ i ) : i ∈ N} be a countable family of ∨-sbk-metric spaces and let d i (x, y) = ρ i (x,y) 1+ρ i (x,y) . We define X = i∈N X i and d : where x, y ∈ X and x i , y i are i th coordinates of x and y, respectively. Let (x, y, z) ∈ X, then Further, let (Z, δ) be an ∨-sbk-metric space and let for every i ∈ N a mapping ϕ i : Z → X i be continuous. Subsequently, from the construction it is clear that by setting ϕ(z) = (ϕ i (z) ∈ X i ) i∈N we obtain a continuous mapping ϕ : Z → X such that p i • ϕ = ϕ i : Z → X i where p i : X → X i are the projections. Hence, the defined construction is indeed a product in the category of bounded ∨-sbk-metric spaces.
To see that the topology T d induced by d on the product ∞ i=1 (X i , d i ) coincides with the product of topologies T d i , just notice that, as a base for the topology T d , we may take the family of all balls Remark 10. The analogous statement of Theorems 5 and 7 in the category of metric spaces is a classic result that can be found in almost every textbook in functional analysis and topology. Patterned after the proof of Theorem 5, analogous result for ⊕-metric spaces can also be proved in the case of any distributive continuous at the bottom extended t-conorm. Unfortunately, for the reasons discussed above we have no any results about products in categories of ⊕-b-metric spaces ⊕-b-MetrS and ⊕-b-MetrT.

Co-Products (Direct Sums) of Families of ⊕-Sbk-Metrics
Speaking about co-products (or direct sums) of ⊕-sbk-metrics, we do not distinguish between finite and infinite cases, because, in both cases, we need to assume that the ⊕-sbk-metrics are bounded. The only difference between the finite and infinite cases is that in the infinite case we have to assume that the parameter k in all ⊕-sbk-metrics is the same, while, in the finite case, we may take k as the largest of all k i . Accordingly, in the proof we assume that k is the same for all d i .
Let {(X i , ρ i ) : i ∈ I} be a family of ⊕-sbk-metric spaces and let d i (x, y) = ρ i (x,y) 1+ρ i (x,y) . We define X = i∈I X i (that is X is the disjoint union of the sets X i and d : X × X → R + by d(x, y) = d i (x, y) if x, y ∈ X i and d(x, y) = 1 otherwise. Theorem 9. d : X × X → R is an ⊕-sbk-metric and (X, d) is the coproduct of the family {(X i , d i ) : i ∈ I} in the category ⊕-SbkMetr, where ⊕ is a compressible continuous on the bottom extended t-conorm. The topology that is induced by d coincides with the topology of the coproduct (direct sum) of the spaces (X i , d i ).
Proof. We first show that d is an ⊕-sbk-metric. The validity of properties (m 1 ) and (m 2 ) for d is obvious. To verify (msb 3 ), let x, y, z ∈ X and consider the three cases.
(1) If there exists i ∈ I such that x, y, z ∈ X i , then the conclusion follows, since d i is an ⊕-sbk-metric.
From the construction it is clear that the inclusion mappings q i : (X i , d i ) → (X, d) are continuous and that the topology that is induced by d coincides with the coproduct (direct sum) of the topologies induced by d i .
Finally, let (Z, δ) be an ⊕-sbk-metric space and let for every i ∈ N a mapping ϕ i : X i → Z be continuous. Subsequently, from the construction it is clear that by setting ϕ(x) = ϕ i (x) if x ∈ X i , we obtain a continuous mapping ϕ : X → Z, such that ϕ • q i = ϕ i . Corollary 5. (X, d) is the coproduct of the family {(X i , ρ i : i ∈ I} in the category ⊕-SbkMtrz, where ⊕ is a compressible continuous on the bottom extended t-conorm.

Conclusions
In the paper, we have used the concept of an extended t-conorm ⊕ in order to define ⊕-metric, ⊕-b-metric and ⊕-sb-metric spaces. In case when ⊕ is the Łukasiewicz t-norm extended from the triangle x, y ≥ 0, x + y ≤ 1 , they become "classic" metrics, b-metrics, and sb-metrics, respectively. The structure of these spaces was discussed and the property of continuity for mappings of such spaces was studied. ⊕-metric, ⊕-b-metric, and ⊕-sb-metric spaces, and their continuous mappings allow us to speak about several categories. We study some properties of these categories specifically the existence of products and coproducts in these categories. Throughout the paper our main interest is in ⊕-sb-metric spaces, in particular in case of sb-metric spaces. Answering a question post in [1], we constructed a series of sb-metric spaces that fail to be metric.
Concerning the plans for the future work, we see the following: