It is “notify to pull”.

IMAP servers through APNS ping the iOS Mail about updates in certain pre-registered inboxes. Then iOS Mail re-fetches those inboxes.

The change signal is pushed; the data (inboxes/emails) aren’t.