Djament's Problem on Locally Noetherian Grothendieck Categories
Prior state unknown→disproved
the locally noetherian case; whether such a category can fail to admit a projective generator is left open as Problem 1.3
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review