mathlib
mathlib copied to clipboard

Published 20 hours ago •

feat(category_theory/lifting_properties): adjunctions

Open joelriou opened this issue 3 years ago • 0 comments

In this PR, we obtain the basic behaviour of lifting properties with respect to adjunctions.

Aug 13 '22 12:08 joelriou