Grothendieck universe

Summary

Grothendieck universe is a mathematical concept^[1]. It draws 70 Wikipedia views per month (mathematical_concept category, ranking #197 of 1,007).^[2]

Key Facts

• Grothendieck universe is credited with the discovery of Alexander Grothendieck^[3].
• Grothendieck universe's instance of is recorded as mathematical concept^[4].
• Alexander Grothendieck is named after Grothendieck universe^[5].
• Grothendieck universe's subclass of is recorded as transitive set^[6].
• Grothendieck universe's Freebase ID is recorded as /m/043hbj^[7].
• Grothendieck universe's different from is recorded as Universum^[8].
• Grothendieck universe's defining formula is recorded as (x\in y\in U\implies x\in U)\land({x,y}\subset U\implies{x,y}\in U)\land(x\in U\implies\mathcal P(x)\in U)\land\left((I\in U\land{x_i}{i\in I}\subset U)\implies\bigcup{i\in I}x_i\in U\right)^[9].
• Grothendieck universe's studied by is recorded as category theory^[10].
• Grothendieck universe's nLab ID is recorded as Grothendieck universe^[11].
• Grothendieck universe's maintained by WikiProject is recorded as WikiProject Mathematics^[12].
• Grothendieck universe's Microsoft Academic ID is recorded as 2777712643^[13].
• Grothendieck universe's ProofWiki ID is recorded as Definition:Grothendieck_Universe^[14].
• Grothendieck universe's in defining formula is recorded as U^[15].
• Grothendieck universe's in defining formula is recorded as \mathcal P^[16].

Body

Works and Contributions

Grothendieck universe is credited with the discovery of Alexander Grothendieck^[3].

Why It Matters

Grothendieck universe draws 70 Wikipedia views per month (mathematical_concept category, ranking #197 of 1,007).^[2] It has Wikipedia articles in 9 language editions, a strong signal of global cultural recognition.^[17]