The Grothendieck construction (named after Alexander Grothendieck) is a construction used in the mathematical field of category theory. It is a fundamental...

Alexander Grothendieck (/ˈɡroʊtəndiːk/; German pronunciation: [ˌalɛˈksandɐ ˈɡʁoːtn̩ˌdiːk] ; French: [ɡʁɔtɛndik]; 28 March 1928 – 13 November 2014) was...

connection Grothendieck construction Grothendieck duality Grothendieck existence theorem Grothendieck fibration Grothendieck's Galois theory Grothendieck group...

will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in category...

\oplus )} . Then, the Grothendieck group K 0 ( X ) {\displaystyle K^{0}(X)} is defined by the application of the Grothendieck construction on this abelian monoid...

\rightthreetimes produces ⋌. Affine Lie algebra Grothendieck construction, a categorical construction that generalizes the semidirect product Holomorph...

of K-theory takes its name from a 1957 construction of Alexander Grothendieck which appeared in the Grothendieck–Riemann–Roch theorem, his generalization...

cancellation property can always be embedded in a group via the Grothendieck group construction. That is how the additive group of the integers (a group with...

(\mathrm {Sch} /S)} through the Grothendieck construction. Getting the correct technical conditions, such as the Grothendieck topology on ( S c h / S ) {\displaystyle...

dependent type theories. Fibred categories were introduced by Alexander Grothendieck (1959, 1971), and developed in more detail by Jean Giraud (1964, 1971)...