RESUMO
A multi-type neutral Cannings population model with migration and fixed subpopulation sizes is analyzed. Under appropriate conditions, as all subpopulation sizes tend to infinity, the ancestral process, properly time-scaled, converges to a multi-type coalescent sharing the exchangeability and consistency property. The proof gains from coalescent theory for single-type Cannings models and from decompositions of transition probabilities into parts concerning reproduction and migration respectively. The following section deals with a different but closely related multi-type Cannings model with mutation and fixed total population size but stochastically varying subpopulation sizes. The latter model is analyzed forward and backward in time with an emphasis on its behavior as the total population size tends to infinity. Forward in time, multi-type limiting branching processes arise for large population size. Its backward structure and related open problems are briefly discussed.