Extending ground model ultrafilters Work over a model of $\sf GCH$. Suppose that $\kappa$ is some regular cardinal, and $U$ is a uniform ultrafilter on $\kappa^+$.
Does $U$ have some canonical extension after forcing with $\operatorname{Add}(\kappa,\kappa)$?
(Alternatively, replace $\kappa^+$ by an arbitrary regular $\lambda>\kappa$.)
 A: At Asaf's suggestion, I'm posting my earlier comment as an answer; I'll also append something about Asaf's subsequent question.
I can't imagine any of the extensions deserving the name "canonical". Each of the subsets $A$ of $\kappa$ that you've added produces a subset of $\kappa^+$, by chopping the ordinal $\kappa^+$ into blocks of length $\kappa$ and putting $A$ on each block. An extension of $U$ has to choose between this set and its complement, and I see no way to make that choice canonical. Perhaps a more rigorous argument would be that no extension of $U$ can be invariant under the automorphisms of the forcing, not even the automorphisms that interchange the generic sets with their complements. 
Asaf also asked about "slightly more canonical ultrafilters" versus just using AC to extend the co-small subsets filter. The only improvement I can see is to start with a richer filter then the co-small subsets, for example the club filter.  But in the end, one still needs to extend it in what looks to me like a hopelessly non-canonical application of AC.
