Commit 2020-08-24 01:00 f2304096

View on Github →

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

Estimated changes