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.
- depends on: #10178
feat(CategoryTheory/Bicategory): adjunctions as Kan extensions (#10045) We also show that a left adjoint commutes with left Kan extensions.