Abstract
We introduce diffeological algebraic hyperstructures such as diffeological hypergroups and diffeological polygroups, which are generalizations of diffeological groups. After providing some examples of these notions, we investigate the relationships between diffeological hypergroups and diffeological groups. It is proved that there is an equivalence of categories between subductions over diffeological groups and diffeological complete hypergroups. We finally show how every diffeological polygroup is a subpolygroup of a diffeological poly-monoid of hyper-diffeomorphisms.
Communicated by J. L. Gomez Pardo