mathlib3
f2304096 - feat(category_theory/adjunction): opposite adjunctions (#3899)

Commit

5 years ago

feat(category_theory/adjunction): opposite adjunctions (#3899) Add two constructions for adjoints for opposite functors.

References

Author

b-mehta

Parents