Iranian Mathematical Society (IMS)Bulletin of the Iranian Mathematical Society1017-060X40320140601On the category of geometric spaces and the category of (geometric) hypergroups639655521ENMortezaJafarpourfACULTY OF MATHEMATICSSeyed ShahinMousaviFaculty of Math.Journal Article20120925In this paper first we define the morphism between geometric spaces in two different types. We construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories, for instance $uu$ is topological. The relation between hypergroups and geometric spaces is studied. By constructing the category $qh$ of $H_{v}$-groups we answer the question that which construction of hyperstructures on the category of sets has free object in the sense of universal property. At the end we define the category of geometric hypergroups and we study its relation with the category of hypergroup.http://bims.iranjournals.ir/article_521_009238c4d65b14d487336590f1f19d41.pdf