Def CategoryTheory.Bicategory.yoneda

Modification history

2026-03-12 20:50

Mathlib/CategoryTheory/Bicategory/Yoneda.lean

feat(Bicategory/Yoneda): add the yoneda pseudofunctor (#30927)

Added CategoryTheory.Bicategory.yoneda View on Github →