Def category_theory.yoneda.ext

Modification history

2018-09-11 10:07

category_theory/yoneda.lean

feat(category_theory): Yoneda, basic facts about natural isomorphisms, and an extensionality lemma using Yoneda lemma (#326) …

Added category_theory.yoneda.ext View on Github →