20.500.12556/RUL-95799 Yonedova lema in njena uporaba Yoneda lemma and its applications V diplomskem delu je obravnavana Yonedova lema, ki velja za enega osre- dnjih izrekov teorije kategorij. Uvodni del denira osnovne pojme v teoriji kategorij, ki so kasneje uporabljeni za formulacijo in dokaz leme. Skozi be- sedilo je predstavljen tudi kategoricni nacin razmisljanja, ki nam omogoca specicno situacijo, ki jo srecamo v matematiki, obravnavati bistveno bolj splosno, z uporabo kategoricnih metod. V zakljucnem poglavju je predsta- vljena in dokazana Yonedova lema, ki nam poda nacin za obravnavo kate- gorije z obravnavo njene vlozitve v kategorijo funktorjev. Predstavljenih je tudi nekaj primerov uporabe leme. 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. Teorija kategorij Yonedova lema kategorije Category theory Yoneda lemma categories true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2017-09-21 11:39:47 2017-09-21 11:39:48 2022-08-10 06:54:51 0000-00-00 00:00:00 2017 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 1970-01-01 19797 Taslak_Jure_-_Yonedova_lema_in_njena_uporaba.pdf Taslak_Jure_-_Yonedova_lema_in_njena_uporaba.pdf 1 B62EB4053AE94B5ABEB1D59029E339AE 91aadd68bdfdaec95b516d878afc4a08eaa54edee23b22cb577022a26b60e720 d99ea763-a1b3-11eb-a523-00155dcfd717 20.500.12556/rul/8c1a4e69-8f58-4402-8990-de323c24b425 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=104439 Fakulteta za računalništvo in informatiko 0 0 0