let $r$ be a commutative ring. we write $mbox{hom}(mu_a, nu_b)$ for the set of all fuzzy $r$-morphisms from $mu_a$ to $nu_b$, where $mu_a$ and $nu_b$ are two fuzzy $r$-modules. we make$mbox{hom}(mu_a, nu_b)$ into fuzzy $r$-module by redefining a function $alpha:mbox{hom}(mu_a, nu_b)longrightarrow [0,1]$. we study the properties of the functor $mbox{hom}(mu_a,-):frmbox{-mod}rightarrow frmbox{-mo...

Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...

the ordinary tensor product of modules is defined using bilinear maps (bimorphisms), that are linear in eachcomponent. keeping this in mind, linton and banaschewski with nelson defined and studied the tensor product in an equational category and in a general (concrete) category k, respectively, using bimorphisms, that is, defined via the hom-functor on k. also, the so-called sesquilinear, or on...

HomX denotes the sheaf-Hom functor of OX -complexes: HomX(E,F )(U) := Hom • U (E|U , F |U ) (U ⊂ X open), the restriction map for U ′ ⊂ U being the obvious one. This “dynamic” sheafified version of Hom• has a derived functor RHom•, defined as usual via q-injective resolutions (which always exist!). Similarly, we have a sheaf-theoretic version of ⊗, and its left-derived functor ⊗ = , defined via...

We construct a Hom-bialgebra M(2) representing the functor of 2 × 2-matrices on Hom-associative algebras. We also construct a Hom-algebra analogue of the affine plane and show that it is a comodule Hom-algebra over M(2) in a suitable sense.

Artin glueings of frames correspond to adjoint split extensions in the category and finite-meet-preserving maps. We extend these ideas setting toposes show that a 2-categorical notion 2-category toposes, finite-limit-preserving functors natural transformations. A morphism between is introduced, which allows Ext(H,N) be constructed. contravariantly equivalent Hom(H,N), moreover, this can extende...

Let X be a projective scheme over a noetherian base scheme S, and let F be a coherent sheaf on X. For any coherent sheaf E on X, consider the set-valued contravariant functor Hom(E,F) on S-schemes, defined by Hom(E,F)(T ) = Hom(ET ,FT ) where ET and FT are the pull-backs of E and F to XT = X ×S T . A basic result of Grothendieck ([EGA] III 7.7.8, 7.7.9) says that if F is flat over S then Hom(E,...

in this paper the notion of rees short exact sequence for s-posets is introduced, and we investigate the conditions for which these sequences are left or right split. unlike the case for s-acts, being right split does not imply left split. furthermore, we present equivalent conditions of a right s-poset p for the functor hom(p;-) to be exact.

In this article we define the tensor product of partial acts over a semigroup and prove several properties product. We also notion polite biact, which is needed to actions on acts. Finally, that certain functor left adjoint hom-functor