Telefona gönder: Categories for dynamic epistemic logic