Commit 2024-02-14 11:28 73913b69

View on Github →

feat(CategoryTheory/Bicategory): adjunctions as Kan extensions (#10045) We also show that a left adjoint commutes with left Kan extensions.

Estimated changes