Open WIKI
Home
Sources
About
Contacts
⯈
☰
Grothendieck construction
Grothendieck construction
is a
algebraic construction
.