PR !4#17366: feat(Algebra/Category/ModuleCat): pullback o...

Stream: triage

[Random Issue Bot]

Today I chose PR 17366 for discussion!

feat(Algebra/Category/ModuleCat): pullback of presheaves of modules
Created by @Joël Riou (@joelriou) on 2024-10-02
Labels: t-category-theory, t-algebraic-geometry, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Kevin Buzzard]

Yes, yes, and yes!