The notion of smooth biproximity space  where $delta_1,delta_2$ are gradation proximities defined by Ghanim et al. [10]. In this paper, we show every smooth biproximity space $(X,delta_1,delta_2)$ induces a supra smooth proximity space $delta_{12}$ finer than $delta_1$ and $delta_2$. We study the relationship between $(X,delta_{12})$ and the $FP^*$-separation axioms which had been introduced by...

We introduce the notion of quasi-cyclic-noncyclic pair and its relevant new notion of coincidence quasi-best proximity points in a convex metric space. In this way we generalize the notion of coincidence-best proximity point already introduced by M. Gabeleh et al cite{Gabeleh}. It turns out that under some circumstances this new class of mappings contains the class of cyclic-noncyclic mappings ...

in this paper, we investigate the l-fuzzy proximities and the relationships betweenl-fuzzy topologies, l-fuzzy topogenous order and l-fuzzy uniformity. first, we show that the category of-fuzzy topological spaces can be embedded in the category of l-fuzzy quasi-proximity spaces as a coreective full subcategory. second, we show that the category of l -fuzzy proximity spaces is isomorphic to the ...

It is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform T0-space X is a subspace of the quasi-proximity space induced by the Samuel bicompactification of X. The result is then used to establish that the locally finite covering quasi-uniformity defined on the category Top0 of topological T0-spaces and continuous maps is not lower K-true (in the sense of Brümmer...

In this paper, we investigate the L-fuzzy proximities and the relationships betweenL-fuzzy topologies, L-fuzzy topogenous order and L-fuzzy uniformity. First, we show that the category of-fuzzy topological spaces can be embedded in the category of L-fuzzy quasi-proximity spaces as a coreective full subcategory. Second, we show that the category of L -fuzzy proximity spaces is isomorphic to the ...

The category Man of smooth manifolds is not closed under arbitrary fiber products; for example the zeroset of a smooth function on a manifold is not necessarily a manifold, and the non-transverse intersection of submanifolds is not a manifold. We describe a category dMan, called the category of derived manifolds with the following properties: 1. dMan contains Man as a full subcategory; 2. dMan ...

Smooth convex optimization problems are solved over fixed point sets of quasi-nonexpansive mappings by using a distributed optimization technique. This is done for a networked system with an operator, who manages the system, and a finite number of users, by solving the problem of minimizing the sum of the operator’s and users’ differentiable, convex objective functions over the intersection of ...