Epimenide93 ha scritto:Assumiamo di essere in \(\displaystyle \sf NBG \). Ti aiuta sapere che se i cardinali sono le classi di isomorfismo nella categoria \(\displaystyle \mathbf{Set} \), gli ordinali sono le classi di isomorfismo nella categoria \(\displaystyle \mathbf{WOrd} \) che ha come oggetti gli insiemi bene ordinati1 e come morfismi le funzioni che preservano le relazioni d'ordine?
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Visitano il forum: Nessuno e 1 ospite