The purpose of this paper is the study of direct limits in category of Krasner (m, n)-hyperrings. In this regards we introduce and study direct limit of a direct system in category (m, n)-hyperrings. Also, we consider fundamental relation , as the smallest equivalence relation on an (m, n)-hyperring R such that the quotient space is an (m, n)-ring, to introdu...

We call a local vector lattice any vector lattice with a distinguished positive strong unit and having exactly one maximal ideal (its radical). We provide a short study of local vector lattices. In this regards, some characterizations of local vector lattices are given. For instance, we prove that a vector lattice with a distinguished strong unit is local if and only if it is clean with non no-...

the concept of algebraic hyperstructures introduced by marty as a generalization of ordinary algebraic structures. in an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. the concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyper rings and a generalizat...

Two unital dual operator algebras A,B are called ∆-equivalent if there exists an equivalence functor F : AM → BM which “extends” to a ∗−functor implementing an equivalence between the categories ADM and BDM. Here AM denotes the category of normal representations of A and ADM denotes the category with the same objects as AM and ∆(A)-module maps as morphisms (∆(A) = A ∩A ). We prove that any such...

For a Hopf algebra H over a commutative ring k, the category MH of right Hopf modules is equivalent to the category Mk of k-modules, that is, the comparison functor −⊗k H : Mk → MH is an equivalence (Fundamental theorem of Hopf modules). This was proved by Larson and Sweedler via the notion of coinvariants McoH for any M ∈ MH . The coinvariants functor (−) coH : MH → Mk is right adjoint to the ...

We show that the class of weak equivalences of a combinatorial model category can be detected by an accessible functor into simplicial sets. The purpose of this short note is to prove the following result that was conjectured by J.H. Smith in [[2],p. 460]. 0.1. Theorem. For every combinatorial model categoryM, there is an accessible functor F :M→ SSet that detects the weak equivalences, i.e., a...

For a small category B and a double category D, let LaxN (B,D) denote the category whose objects are vertical normal lax functors B //D and morphisms are horizontal lax transformations. It is well known that LaxN (B,Cat) ≃ Cat/B, where Cat is the double category of small categories, functors, and profunctors. In [19], we generalized this equivalence to certain double categories, in the case whe...

The concept of algebraic hyperstructures introduced by Marty as a generalization of ordinary algebraic structures. In an ordinary algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two elements is a set. The concept of ?-semihyperrings is a generalization of semirings, a generalization of semihyper‌rings and a generalizat...

Looking at the operation of forming neat α-reducts as a functor, with α an infinite ordinal, we investigate when such a functor obtained by truncating ω dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorical result to several amalgamati...

We discuss the use of relation lifting in the theory of setbased coalgebra. On the one hand we prove that the neighborhood functor does not extend to a relation lifting of which the associated notion of bisimilarity coincides with behavorial equivalence. On the other hand we argue that relation liftings may be of use for many other functors that do not preserve weak pullbacks, such as the monot...