Free hypermodules: a categorical approach

Abstract

In category theory, the existence of free objects is very important, especially free modules that play an important role in homological algebra. Although algebraic hyperstructures are a natural extension of algebraic structures, due to the major difference between them, study-free objects in algebraic hyperstructures become very difficult. In this article, we provide a categorical approach for the construction of free hypermodules. In fact, by considering appropriate morphisms between hypermodules, we characterize free hypermodules from three different perspectives.