| Popis: |
The thesis discusses the Yoneda lemma, which is considered one of the central theorems in category theory. The introduction de�nes the basic concepts of category theory, which are later used to formulate and prove the lemma. Throughout the text there are examples of the categorical way of thinking, where we take a speci�c situation, that we encounter in mathematics and look at it in a more general setting. In the �nal chapter we describe and prove the Yoneda lemma, that presents a way of studying a category, by studying its inclusion into a category of functors. We show some use cases of the lemma. |
