PR !4#18236: feat(Algebra/Category/ModuleCat/Presheaf): t...

Stream: triage

[Random Issue Bot]

Today I chose PR #18236 for discussion!

feat(Algebra/Category/ModuleCat/Presheaf): the endofunctor of presheaves of modules induced by an oplax natural transformation
Created by @Joël Riou (@joelriou) on 2024-10-25
Labels: WIP, t-category-theory, t-algebra

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