Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Taslak, Jure"'
Autor:
Taslak, Jure
V nalogi je razvita funktorialna semantika za algebrajsko in regularno kategorno logiko. V prvem delu je najprej na kratko predstavljena teorija kategorij, nato se uvede pojem algebrajske teorije, ki je poseben primer logične teorije prvega reda, v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::96ad67fab7b3b7d8a85c534eefa43bea
https://hdl.handle.net/20.500.12556/RUL-124900
https://hdl.handle.net/20.500.12556/RUL-124900
Autor:
Taslak, Jure
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 tud
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3505::ccf1807806d0beb1a4a8c50ab5d0fab7
https://hdl.handle.net/20.500.12556/RUL-95799
https://hdl.handle.net/20.500.12556/RUL-95799
Autor:
Taslak, Jure
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 the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______333::9c4ef9521c58e9aae9cd5f869dab917a
http://eprints.fri.uni-lj.si/3970/
http://eprints.fri.uni-lj.si/3970/