# Commit 2018-09-11 10:07 ba7bd742

View on Github →feat(category_theory): Yoneda, basic facts about natural isomorphisms, and an extensionality lemma using Yoneda lemma (#326)

- feat(category_theory/yoneda_lemma)
- feat(category_theory/natural_isomorphisms): basic facts about natural isomorphisms, and an extensionality lemma using Yoneda