Po-groups and hypergroups in a topos.

This paper deals with two constructions in topos theory: po-groups and hypergroups. After a deep analysis of these, we restrict our attention to find a hypergroup associated to a po-group G in a topos E. The method that we use here is based on the Mitchell-B'enabou language. Then, we show that on the negative and positive cones of a po-group G in E, the left and right translations are hyperhomomorphisms in E. Our aim is to find two faithful and left exact functors from the category of po-groups in E to the (smallest in some sense) finitely complete category containing hypergroups in E. A version of this result is also presented on the category of lattices in E instead of po-groups. This version recovers filters and ideals of a lattice in E by means of hyperoperations. We will finish the manuscript by transforming the Heyting algebra structure of the subobject classifier Ω of E to a hypergroup in E. [ABSTRACT FROM AUTHOR]