We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

The theory of finitary biframes as order-theoretical duals bitopological spaces is explored. category a coreflective subcategory that biframes. Some the advantages adopting pointfree notion bispaces are studied. In particular, it shown for every biframe there which plays role analogue to assembly in frames: L A(L) with universal property analogous frame; and such its main component isomorphic o...

We lay down the foundations for a pointfree theory of Pervin spaces. A space is set equipped with bounded sublattice its powerset, and it known that these objects characterize those quasi-uniform spaces are transitive totally bounded. The notion space, which we call Frith frame, consists frame generating sublattice. In this paper introduce study category frames show classical dual adjunction be...

we show that the category of convergence approach spaces is a simultaneously reective and coreective subcategory of the category of latticevalued limit spaces. further we study the preservation of diagonal conditions, which characterize approach spaces. it is shown that the category of preapproach spaces is a simultaneously reective and coreective subcategory of the category of lattice-valued p...

In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...

A completion of a Cauchy space is obtained without the T2 restriction on the space. This completion enjoys the universal property as well. The class of all Cauchy spaces with a special class of morphisms called s-maps form a subcategory CHY′ of CHY. A completion functor is defined for this subcategory. The completion subcategory of CHY′ turns out to be a bireflective subcategory of CHY′. This t...

It is shown that for any commutative unital ring R the category HopfR of R–Hopf algebras is locally presentable and a coreflective subcategory of the category BialgR of R–bialgebras, admitting cofree Hopf algebras over arbitrary R–algebras. The proofs are based on an explicit analysis of the construction of colimits of Hopf algebras, which generalizes an observation of Takeuchi. Essentially be ...

This article is concerned with Alexandroff L-topological spaces and L-co-topological spaces, where L is a commutative, unital quantale. On one hand, an example is given to show that there is a finite strong L-topological space that is not Alexandroff. On the other hand, it is proved that every finite strong L-co-topological space is Alexandroff and that the category of Alexandroff strong L-co-t...

“Divide and conquer” has been a common practice to address complex learning tasks such as multi-view object detection. The positive examples are divided into multiple subcategories for training subcategory classifiers individually. However, the subcategory labeling process, either through manual labeling or through clustering, is suboptimal for the overall classification task. In this paper, we...