Deakstadieđáhus: Categories for dynamic epistemic logic