evaluation): Evaluation has a left and a right adjoint. (#10793)

Commit

4 years ago

feat(category_theory/adjunction/evaluation): Evaluation has a left and a right adjoint. (#10793)

Author

adamtopaz

Parents