Skip to content
Back to pull request #37662

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Presheaf): the adjunction between colimitFunctor and constFunctor #26359

Sign in to view logs

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Presheaf): the adjunction between colimitFunctor and constFunctor

[Merged by Bors] - feat(Algebra/Category/ModuleCat/Presheaf): the adjunction between colimitFunctor and constFunctor #26359

Verify Transient and Automated Commits

Verify Transient and Automated Commits
succeeded Apr 10, 2026 in 40s