Consider L being a continuous lattice, two functors from the category of convex spaces (denoted by CS) to the category of stratified L-convex spaces (denoted by SL-CS) are defined. The first functor enables us to prove that the category CS can be embedded in the category SL-CS as a reflective subcategory. The second functor enables us to prove that the category CS can be embedded in the categor...

objective: despite the huge efforts, chronic kidney disease (ckd) remains as an unsolved problem in medicine. many studies have shown a central role for transforming growth factor beta-1 (tgfβ-1) and its downstream signaling cascades in the pathogenesis of ckd. in this study, we have reanalyzed a microarray dataset to recognize critical signaling pathways controlled by tgfβ-1. materials and met...

Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This result generalizes the classical identification of exponentiable topological spaces as those whose lattice of open subsets forms a continuous lattice.

In this paper, the notion of βS∗−compactness is introduced in L−fuzzy topological spaces based on S∗−compactness. A βS∗−compactness L-fuzzy set is S∗−compactness and also β−compactness. Some of its properties are discussed. We give some characterizations of βS∗−compactness in terms of pre-open, regular open and semi-open L−fuzzy set. It is proved that βS∗−compactness is a good extension of β−co...

System L is a linear version of Gödel’s System T , where the λ-calculus is replaced with a linear calculus; or alternatively a linear λ-calculus enriched with some constructs including an iterator. There is thus at the same time in this system a lot of freedom in reduction and a lot of information about resources, which makes it an ideal framework to start a fresh attempt at studying reduction ...

In this paper we study the topological directional entropy of 2  -actions by generated linear cellular automata (CA hereafter), defined by a local rule f[l,r], l, r , l  r, i.e. the maps Tf[l, r]: m m      which are given by Tf[l, r](x) = ( ) n n y   , yn = f(xn+l, ..., xn+r) = r x i n i i l     (mod m), x=    n n x ) (  m   and f: 1 r l m     Zm, over the ring Zm (m...

The objective of the present study was to determine the effects of docosahexaenoic acid (DHA)-enriched hen egg yolks and L-cysteine supplementation on the qualities of the cryopreserved boar semen. A total of 15 ejaculates from 5 Pietrain boars were divided into 4 groups according to the compositions of the freezing extenders used, that is, normal hen egg yolk (group I), DHA-enriched hen egg yo...

In this paper, we shall introduce generalized fuzzy compactness in L-spaces where L is a complete de Morgan algebra. This definition does not rely on the structure of basis lattice L and no distributivity is required. The intersection of a generalized fuzzy compact L-set and a generalized closed Lset is a generalized fuzzy compact L-set. The generalized irresolute image of a generalized fuzzy c...

In this paper we introduce stronger form of the notion of cover so-called p-cover which is more appropriate. According to this cover we introduce and study another type of compactness in L-fuzzy topology so-called C*-compact and study some of its properties with some interrelation.

In this paper the concept of S-neighborhoods is introduced and we give a new characterization of L-topological vector spaces in terms of S-neighborhood base of θλ(λ ∈ M(L)). As an application, we obtain a necessary and sufficient condition of a vector Ltopology determined by its level topologies. Copyright c ©2003 Yang’s Scientific Research Institute, LLC. All rights reserved.