Disambiguation evidence for Grothendieck category via surface form
"Grothendieck category has a generator"
Triples (1)
Triples where some other subject referred to this entity
as "Grothendieck category has a generator".
Gabriel–Popescu theorem
→
assumes
→
"Grothendieck category has a generator"
ⓘ
↳ resolves to Grothendieck category