mathlib
24855f46 - feat(category_theory/lifting_properties): adjunctions (#16038)

Commit

3 years ago

feat(category_theory/lifting_properties): adjunctions (#16038) In this PR, we obtain the basic behaviour of lifting properties with respect to adjunctions.

Author

joelriou

Parents

909cae04

mathlib 24855f46 - feat(category_theory/lifting_properties): adjunctions (#16038)

mathlib
24855f46 - feat(category_theory/lifting_properties): adjunctions (#16038)