da megas_archon » 03/10/2023, 17:31
Quello è un esempio esplicito: è dato mediante una proprietà universale, non solo è determinato univocamente, ma lo è mediante una costruzione. Stai mettendo la topologia quoziente sul coprodotto di un bel po' di sfere, rispetto a una relazione di equivalenza determinata in modo univoco in base alla presentazione di G.