Registre de correu electrònic: La visión categórica de la lógica