Teorija kategorija

Repozitorij

Repozitorij je prazan

Anketa

Na ovoj stranici trenutno nije odabrana niti jedna anketa!

Teorija kategorija

Šifra: 213179
ECTS: 5.0
Nositelji: doc. dr. sc. Matija Bašić - Predavanja
Prijava ispita: Studomat
Opterećenje:

1. komponenta

Vrsta nastaveUkupno
Predavanja 45
* Opterećenje je izraženo u školskim satima (1 školski sat = 45 minuta)
Opis predmeta:
CILJ KOLEGIJA:
Cilj kolegija je osposobiti studente za korištenje osnovnih koncepata i tehnika teorije kategorije te strukturirano razmišljanje i prepoznavanje univerzalnih konstrukcija u različitim dijelovima matematike i računarstva.

NASTAVNI SADRŽAJ:
Kategorije. Osnovni primjeri kategorija. Komutativni dijagrami. Monomorfizmi, epimorfizmi i izomorfizmi. Monoidi i parcijalno uređeni skupovi kao kategorije.
Kategorije funktora. Funktori. Prirodne transformacije. Yonedina lema. Ekvivalencija kategorija.
Univerzalne konstrukcije. Inicijalni i terminalni objekt. Produkti, povlak i ujednačitelj. Dualnost. Limesi i kolimesi.
Kartezijanski zatvorene kategorije. Monoidalne kategorije. Unutarnji hom. Eksponencijalni objekti. Kategorija kriški. Lambda račun.
Adjungirani funktori. Univerzalne konstrukcije. Slobodni i zaboravni funktor. Primjeri adjungiranih funktora u algebri i topologiji. Veze adjungiranih funktora i (ko)limesa.
Monade. Algebre nad monadom. Eilenberg-Mooreova kategorija. Kleislijeva kategorija. Monadičnost.
Toposi. Klasifikator podobjekata. Definicija toposa. Primjeri toposa. Topos snopova na topološkom prostoru. Značaj i primjene toposa u logici i geometriji.
Literatura:
  1. B. C. Pierce: Basic Category Theory for Computer Scientists
  2. S. MacLane: Categories for the Working Mathematician
  3. S. MacLane, I. Moerdijk: Sheaves in Geometry and Logic
  4. M. Barr, C. Wells: Category Theory for Computing Science
  5. G. Michaelson: An Introduction to Functional Programming Through Lambda Calculus
  6. J. Adámek, H. Herrlich, G. E. Strecker: Abrstact and Concrete Categories The Joy of Cats
  7. F. Borceux: Handbook of Categorical Algebra - Basic Category Theory
  8. D. Spivak: Category Theory for the Sciences
  9. S. Awodey: Category Theory
  10. H. Simmons: An Introduction to Category Theory
1. semestar
Izborni predmet 1, 2 - Redovni Studij - Računarstvo i matematika

2. semestar
Izborni predmet 1, 2 - Redovni Studij - Računarstvo i matematika

3. semestar
Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika

4. semestar
Izborni predmet 3, 4, 5, 6 - Redovni Studij - Računarstvo i matematika
Termini konzultacija:
  • doc. dr. sc. Matija Bašić:

    Utorkom i četvrtkom u 13, uz prethodnu najavu i dogovor e-mailom. 

    Lokacija: A315

Obavijesti