We define and study a quantale-valued Wijsman structure on the hyperspace of all non-empty closed sets of a quantale-valued metric space. We show its admissibility and that the metrical coreflection coincides with the quantale-valued Hausdorff metric and that, for a metric space, the topological coreflection coincides with the classical Wijsman topology. We further define an index of compactnes...

-semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At the end of the paper, we p...

There are several graphs H for which the precise structure of graphs that do not contain a minor isomorphic to H is known. In particular, such structure theorems are known for K5 [13], V8 [8] and [7], the cube [3], the octahedron [4], and several others. Such characterizations can often be very useful, e.g., Hadwiger’s conjecture for k = 4 is verified by using the structure for K5-free graphs, ...

Binary stars play a vital role in astrophysical research, as good fraction of are binaries. (BF) is known to change with stellar mass the Galactic field, but such studies clusters require binary identification and membership information. Here, we estimate total spectral-type-wise high mass-ratio (HMR) BF ($f^{0.6}$) 23 open using unresolved binaries color-magnitude diagrams \textit{Gaia} DR2 da...

in this paper we define ( , ) k  q -fuzzy h -sub hemirings, ( , ) k  q -fuzzy h -ideals, ( , ) k  q - fuzzy     h -bi-ideals and ( , ) k  q -fuzzy h -quasi-ideals. we characterize h -hemiregular and h -intrahemiregular hemirings by the properties of their     ( , ) k  q -fuzzy h -ideals, ( , ) k  q -fuzzy h -bi-ideals and     ( , ) k  q -fuzzy h -quasi-...

Abstract We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from flat projective family varieties parametrized by regular complex base scheme, extending the analogous classical result smooth families due to Griffiths. As an application, based on positivity direct image we establish criterion spaces rational Gorenstein be gener...

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Goren...