me gustaría comentar que estudiando las propiedades de esta construcción se a podido encontrar (2008) una demostración de tipo functorial de algunos de los teoremas fundamentales del álgebra abstracta de los cuales solo se disponía de tipo combinatorio y otras de tipo topológico.