# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJun 2nd 2016

At co-Yoneda lemma I have tried to harmonize the notation and polish the formatting a little. For instance, earlier the statement had been in terms of $V$-enrichment, but then the proof was stated in terms of $Set$-enrichment, I have harmonized that.

Then I added as an Example an elementary proof of the co-Yoneda lemma in $Set$ in terms of inspecting the defining coequalizer as a set of equivalence classes of pairs.