The domain of monogenicity in $\mathbb H^n$ are the domains of holomorphy for the Cauchy-Fueter operator. It is a natural question to give a characterization of such domains. I will speak about a sufficient and necessary condition for an open domain to be a domain of monogenicity and if time permits, I will also speak about the corresponding geometric structure on the boundary.