Simplicial sets in the EAT system | Publicación