PR !4#14127: feat(CategoryTheory): monoidal structure on ...

Stream: triage

[Random Issue Bot]

Today I chose PR 14127 for discussion!

feat(CategoryTheory): monoidal structure on the category of presheaves of modules
Created by @Dagur Asgeirsson (@dagurtomas) on 2024-06-25
Labels: WIP, please-adopt, t-category-theory, t-algebraic-geometry, t-algebra, workshop-AIM-AG-2024

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