presheaf): left adjoint if preserves colimits (#4896)

Commit

5 years ago

feat(category_theory/limits/presheaf): left adjoint if preserves colimits (#4896)

References

Author

b-mehta

Parents