Pošalji tekstualnu poruku: Categories for dynamic epistemic logic