ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Yoneda lemma and its applications

Jure Taslak (2017) Yoneda lemma and its applications. EngD thesis.

Download (562Kb)


    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.

    Item Type: Thesis (EngD thesis)
    Keywords: Category theory, Yoneda lemma, categories
    Number of Pages: 65
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    prof. dr. Andrej Bauer1359Mentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1537575363)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 3970
    Date Deposited: 19 Sep 2017 15:07
    Last Modified: 09 Oct 2017 08:48
    URI: http://eprints.fri.uni-lj.si/id/eprint/3970

    Actions (login required)

    View Item