Gravar-mail: Dualidades naturais (teoria das categorias)