Category for electrophilic substitution reactions