CATEGORY OF HYPER BCK-ALGEBRAS

Abstract

In this paper we first define the category of hyper BCK-algebras. After that we show that the category of hyper BCK-algebras is connected, factorisable and has equalizers, coequalizers, products, coproducts, intersection and kernel. It is a consequence that this category is complete and cocomplete and hence has pullbacks and pushouts.