Large cardinals | Category theory | Set-theoretic universes

Grothendieck universe

In mathematics, a Grothendieck universe is a set U with the following properties: 1. * If x is an element of U and if y is an element of x, then y is also an element of U. (U is a transitive set.) 2. * If x and y are both elements of U, then is an element of U. 3. * If x is an element of U, then P(x), the power set of x, is also an element of U. 4. * If is a family of elements of U, and if I is an element of U, then the union is an element of U. A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. (In fact, uncountable Grothendieck universes provide models of set theory with the natural ∈-relation, natural powerset operation etc.). Elements of a Grothendieck universe are sometimes called small sets. The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals.Tarski–Grothendieck set theory is an axiomatic treatment of set theory, used in some automatic proof systems, in which every set belongs to a Grothendieck universe.The concept of a Grothendieck universe can also be defined in a topos. (Wikipedia).

Video thumbnail

Céline Pessis - L'engagement d'Alexandre Grothendieck durant la première moitié des années 1970

Militant singulier ou porte-parole ? Retour sur l'engagement d'Alexandre Grothendieck durant la première moitié des années 1970 Le 27 janvier 1972, au Centre Européen de Recherches Nucléaires (CERN), citadelle d'une recherche de pointe, des centaines de technicien.

From playlist Séminaire Grothendieck 30 mars 2016

Video thumbnail

Anne-Sandrine Paumier - Quel(s) lieu(x) pour quelle(s) mathématique(s) ?

Quel(s) lieu(x) pour quelle(s) mathématique(s) ? Penser et construire l’Institut de Hautes Études Scientifiques Conférence donnée devant L'Association des Amis de l'IHES à l'IHES le 4 mai 2017. L’IHES est créé officiellement le 27 juin 1958, dans le bureau de Joseph Pérès, doyen de la Fa

From playlist Évenements grand public

Video thumbnail

The Grothendieck inequality by Gadadhar Misra

Colloquium The Grothendieck inequality Speaker: Gadadhar Misra (Department of Mathematics, Indian Institute of Science, Bangalore) Date: Mon, 22 April 2019, 15:00 to 16:00 Venue: Emmy Noether Seminar Room, ICTS Campus, Bangalore Abstract https://www.icts.res.in/colloquium/2019-04-22

From playlist ICTS Colloquia

Video thumbnail

David Hernandez, Quantum Kac-Moody algebras and categorifications

David HERNANDEZ (Université Paris-Diderot - Paris 7) "Quantum Kac-Moody algebras and categorifications" ­

From playlist Après-midi en l'honneur de Victor KAC

Video thumbnail

Grothendieck-Gruppe - Konstruktion

Abonniert den Kanal, damit er auch in Zukunft bestehen kann. Es ist vollkommen kostenlos und ihr werdet direkt informiert, wenn ich einen Livestream anbiete. Hier erzähle ich etwas über die Konstruktion der Grothendieck-Gruppe in einem abstrakten Rahmen, aber mit elementaren Rechnungen. E

From playlist 1. Semester

Video thumbnail

Huawei Young Talents Programme - Laurent Lafforgue

The online ceremony celebrating the official launch of the Huawei Young Talents Program at the Institut des Hautes Etudes Scientifiques was held on 6 November 2020. This program aims to support the work of talented researchers in mathematics and theoretical physics at the beginning of thei

From playlist Huawei Young Talents Program - November 2020

Video thumbnail

Camell Kachour - Globular perspective for Grothendieck ∞-topos and Grothendieck (∞,n)-topos

In this short talk we first briefly recall [4] how to build, for each integers n0, monads Tn on the category Glob of globular sets which algebras are globular models of (1; n)-categories, which have the virtue to be weak 1-categories of Penon and thus also to be weak 1-categories of Batani

From playlist Topos à l'IHES

Video thumbnail

Yonatan Harpaz - New perspectives in hermitian K-theory III

For questions and discussions of the lecture please go to our discussion forum: https://www.uni-muenster.de/TopologyQA/index.php?qa=k%26l-conference This lecture is part of the event "New perspectives on K- and L-theory", 21-25 September 2020, hosted by Mathematics Münster: https://go.wwu

From playlist New perspectives on K- and L-theory

Related pages

Power set | Universe (mathematics) | Hereditarily finite set | Model theory | Transitive set | Mathematics | Constructible universe | Topos | Woodin cardinal | Measurable cardinal | Von Neumann universe | Algebraic geometry | Inaccessible cardinal | Singleton (mathematics) | Alexander Grothendieck | List of large cardinal properties | Zermelo–Fraenkel set theory | Tarski–Grothendieck set theory