The thesis discusses the Yoneda lemma, which is considered one of the central
theorems in category theory. The introduction denes 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 specic 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.
|
