  We develop the theory of cofinal types of ultrafilters over measurable
cardinals and establish its connections to Galvin's property. We generalize
fundamental results from the countable to the uncountable, but often in
surprisingly strengthened forms, and present models with varying structures of
the cofinal types of ultrafilters over measurable cardinals.
