El punto de vista se preparó en el "Stone Spaces" de Peter Johnstone, lo que ha sido llamado por un líder en el campo de la informática 'un tratado sobre la extensionalidad'.