Grothendieck Universes
نویسندگان
چکیده
منابع مشابه
Grothendieck quasitoposes
Article history: Received 28 June 2011 Available online 31 January 2012 Communicated by Michel Van den Bergh
متن کاملCombinatorial Formulae for Grothendieck-demazure and Grothendieck Polynomials
∂if = f− sif xi − xi+1 where si acts on f by transposing xi and xi+1 and let π̃i = ∂i(xi(1− xi+1)f) Then the Grothendieck-Demazure polynomial κα, which is attributed to A. Lascoux and M. P. Schützenberger, is defined as κα = x α1 1 x α2 2 x α3 3 ... if α1 ≥ α2 ≥ α3 ≥ ..., i.e. α is non-increasing, and κα = π̃iκαsi if αi < αi+1, where si acts on α by transposing the indices. Example 2.1. Let α = (...
متن کاملParallel Universes
I survey physics theories involving parallel universes, which form a natural four-level hierarchy of multiverses allowing progressively greater diversity. Level I: A generic prediction of inflation is an infinite ergodic universe, which contains Hubble volumes realizing all initial conditions — including an identical copy of you about 10 29 m away. Level II: In chaotic inflation, other thermali...
متن کاملParallel Universes
One of the niftiest things about quantum mechanics is that it allows, via quantum tunneling (described in the Quantum Notes and in the lecture), many seemingly impossible events to occur, like walking through a brick wall, surviving after getting shot in the face, and meeting the girl of your dreams. Continuing on the theme of “possibility,” these notes describe parallel universes, in which eve...
متن کاملThe Grothendieck Group
In the red corner, topological K-theory! The study of stable equivalences of vector bundles over a topological space, and the engine behind Bott periodicity, a result whose reverberations are felt throughout algebraic topology. In the blue corner, modular representation theory! The story of representations in positive characteristic, where the CDE triangle powers applications in group theory an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2020
ISSN: 1898-9934,1426-2630
DOI: 10.2478/forma-2020-0018