Skip to content

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

[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 #167289

Annotations

1 warning

Lint and suggest

succeeded Apr 10, 2026 in 2m 17s