In a previous paper [1], we initiated a systematic study of semihypergroups and had a thorough discussion about some important analytic and algebraic objects associated to this class of objects. In this paper, we investigate free structures on the category of semihypergroups. We show that the natural free product structure along with the natural topology, although fails to give a free product for topological groups, works well on a vast non-trivial class of ‘pure’ semihypergroups containing most of the well-known examples including non-trivial coset and orbit spaces.