In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphis...In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.展开更多
After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well ...After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well as exact Tensor functors delta (M)circle times and circle times delta (M) are given in this paper. Finally the weak isomorphisms relations between Horn functors and Tensor functors are displayed.展开更多
We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP...We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP(RG) to StmodP(RH); if the normal subgroup H controls the fusion of p-subgroups of G, the restriction functor is a faithful triangulated functor; if P is strongly closed in H respect to G, the same functor is also a faithful triangulated functor.展开更多
基金Foundation item： Supported by the National Natural Science Foundation of China（10871137）
文摘In this paper,it gives the definition of the category of ■-sets and bi-induced maps whose true value set is a Locale,a complete Heyting algebra.In this category it defines the L_b-monomorphisms and the L_b-epimorphisms.Especially,it gives the definition,the judgmental theorem of L_b-coequalizers.Furthermore,it defines L_b-regular epimorphisms and proves the judgmental theorem.At the end it concludes a result:the category of ■-sets and bi-induced maps is finitely cocomplete.
文摘After defining Hom(chi (A), eta (B)) and chi (A) circle times eta (B) in the fuzzy modular category Fm, the sufficient conditions of the existence for exact Hom functors Hom(delta (M),), and Hom(, delta (M)), as well as exact Tensor functors delta (M)circle times and circle times delta (M) are given in this paper. Finally the weak isomorphisms relations between Horn functors and Tensor functors are displayed.
基金Supported by the National Natural Science Foundation of China(10826057)
文摘We prove that, confined that G > H > P and P is a proper p-subgroup of H, if H ∩~gH ≤ P for any g ∈ G-H, then the operator of the restriction to RH of RG-modules induces a triangulated equivalence from StmodP(RG) to StmodP(RH); if the normal subgroup H controls the fusion of p-subgroups of G, the restriction functor is a faithful triangulated functor; if P is strongly closed in H respect to G, the same functor is also a faithful triangulated functor.
