Simplicial sets in the EAT system