Commit 2024-06-09 22:38 0e9ba7d1
View on Github →feat: the sheafification functor for presheaves of modules (#13441) In this PR, we construct the sheafification functor for presheaves of modules, and show that it is a left adjoint functor.
feat: the sheafification functor for presheaves of modules (#13441) In this PR, we construct the sheafification functor for presheaves of modules, and show that it is a left adjoint functor.