Search

In this paper we define the concepts of a "strict morphism" as a suitable map between geometric spaces (as a generalization of hyperstructures), and its kernel. Then we introduce the concepts of a "quotient geometric space", an "exact sequence", an "exact hypersequence", a "homology" and a "hyperhomology" of geometric spaces. Finally we generalize some famous theorems from groups and modules in this direction, such as the "isomorphism theorem", the "five short lemma", the "snake lemma", the "exact triangle", etc., by some conditions that are naturally valid for groups. [ABSTRACT FROM AUTHOR]

In this paper we find a generalization of the snake lemma and Schanuel's lemma in Hv-modules. We define the isomorph sequences and determine the conditions to split the exact sequences in Hv-modules. Some interesting results on these concepts are given. [ABSTRACT FROM AUTHOR]

In this paper we provide an axiomatic analysis of the classical diagram chasing method of Mac Lane, that relies on duality and chasing elements of pointed sets, which allows one to generalize this method from abelian categories to non-abelian ones. Among the examples where the generalized method can be used are all modular semiexact categories in the sense of Grandis (which include all Puppe-Mitchell exact categories) and sequentiable categories in the sense of Bourn (which include all semi-abelian categories, and in particular, the categories of group-like structures). The method turns out to be closely related to the essential features of these categories. At the same time, in some sense, it simplifies the usual proofs of some of the standard diagram lemmas in them. [ABSTRACT FROM AUTHOR]