mathlib
2a48c690 - feat(category_theory/yoneda): develop API for representable functors (#7962)

Commit

4 years ago

feat(category_theory/yoneda): develop API for representable functors (#7962) Dualises and extends API for representable functors which was previously pretty minimal

Author

b-mehta

Parents

42ab44c2

mathlib 2a48c690 - feat(category_theory/yoneda): develop API for representable functors (#7962)

mathlib
2a48c690 - feat(category_theory/yoneda): develop API for representable functors (#7962)