has_limits): `const` and `(co)lim` are adjoint (#16251)

Commit

3 years ago

feat(category_theory/limits/has_limits): `const` and `(co)lim` are adjoint (#16251)

Author

jjaassoonn

Parents