Taking advantage of the quantale-theoretic description \'etale groupoids we study principal bundles, Hilsum-Skandalis maps, and Morita equivalence in terms modules on inverse quantal frames. The Hilbert module quantale sheaves leads naturally to a formulation bimodules that resemble imprimitivity C*-algebras.

The purpose of this paper is to describe a connection between model categories, a structure invented by algebraic topologists that allows one to introduce the ideas of homotopy theory to situations far removed from topological spaces, and cotorsion pairs, an algebraic notion that simultaneously generalizes the notion of projective and injective objects. In brief, a model category structure on a...

(Q,≦,∨) is a complete join semilattice (Q,・,e) is a monoid (∨S)・a=∨{b・a | b∈S} for a∈Q, S⊆Q a・(∨S)=∨{a・b | b∈S} for a∈Q, S⊆Q 2 Background: An Example of Quantale (Rel(A),≦,∨,・,e) is a quantale where Rel(A) is the set of all binary relations on A ≦ is the inclusion ∨ is the union ・ is the composition Q・R={ (a,c) | ∃b. (a,b)∈Q, (b,c)∈R } e is the identity relation 3 Our Goal: Relational Represent...

a module $m$ is called $emph{h}$-cofinitely supplemented if for every cofinite submodule $e$ (i.e. $m/e$ is finitely generated) of $m$ there exists a direct summand $d$ of $m$ such that $m = e + x$ holds if and only if $m = d + x$, for every submodule $x$ of $m$. in this paper we study factors, direct summands and direct sums of $emph{h}$-cofinitely supplemented modules. let $m$ be an $emph{h}$...

We associate a canonical unital involutive quantale to a topological groupoid. When the groupoid is also étale, this association is compatible with but independent from the theory of localic étale groupoids and their quantales [19] of P. Resende. As a motivating example, we describe the connection between the quantale and the C∗-algebra that both classify Penrose tilings, which was left as an o...

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classificati...

In this study, the bioavailability and enantioselectivity differences between bifenthrin (BF, typeⅠpyrethroid) and lambad-cyhalothrin (LCT, type Ⅱ pyrethroid) in earthworm (Eisenia fetida) were investigated. The bio-soil accumulation factors (BSAFs) of BF was about 4 times greater than that of LCT. LCT was degraded faster than BF in soil while eliminated lower in earthworm samples. Compound sor...

We study complex 4-manifolds with holomorphic self-dual conformal structures, and we obtain an interpretation of the Weyl tensor of such a manifold as the projective curvature of a field of cones on the ambitwistor space. In particular, its vanishing is implied by the existence of some compact, simply-connected, null-geodesics. We also relate the Cotton-York tensor of an umbilic hypersurface to...

in this note we consider the notion of intuitionistic fuzzy (weak) dual hyper k-ideals and obtain related results. then we classify this notion according to level sets. after that we determine the relationships between intuitionistic fuzzy (weak) dual hyper k-ideals and intuitionistic fuzzy (weak) hyper k-ideals. finally, we define the notion of the product of two intuitionistic fuzzy (weak) du...