Zaslat SMS: Categories for dynamic epistemic logic