Lecture 25 -- Monday, 6th of July

Rezk completion of precategories:

• equivalences vs. functor categories (without proof)
• Yoneda lemma (without proof) and Yoneda embedding
• construction and uniqueness of Rezk completion