Disclaimer

Hlavná osnova sa presunula tu, táto stránka je len dôsledok sunk cost falacy. V prípade, že ku stránke nemáte prístup, píšte na kocicky@fi.

Pre tento semester hlavná osnova skončila.

Prezentujúcim aj účastníkom ďakujeme za účasť 🐸❤️.

Osnova semináru

25.02.2022 - Úvod do kategórii (rozdavok, stránka)

04.03.2022 - Funktory a prirodzené transformácie (rozdavok)

11.03.2022 - Produkty a koprodukty (rozdavok, stránka)

18.03.2022 - Yoneda lemma (rozdavok, poznámky)

25.03.2022 - Kartézsky Uzavrené Kategórie a Lambda kalkulus (rozdavok)

01.04.2022 - Adjunkcie (rozdavok)

08.04.2022 - Monády (rozdavok)

15.04.2022 - Voľno

22.04.2022 - Komonády Koprvoky (rozdavok)

29.04.2022 - Voľno

06.05.2022 - F-algebry a F-koalgebry (rozdavok, stránka, článok)

27.05.2022 o 15:15 - (Ko)limity (rozdavok)

Organizácia

Seminár prebieha každý piatok od 13:30 do 15:10 v A220 A218. Každý člen semináru pripraví počas semestru aspoň jednu prezentáciu, ktorá by mala odprezentovať zadanú tému. Téma a jej “prednášajúci” sa určí vždy aspoň dva týždne dopredu. V prípade, že máte seminár zapísaný sa zároveň očakáva, že sa semináru budete zúčastňovať vždy, keď to bude možné.

V prípade potreby môžete písať na mail kocicky@fi.muni.cz alebo na irc kanál #fimu-kocicky.

V prípade, že máte k semináru nejaké materiály (rozdavok, prezentáciu, …) môžete mi ich poslať. Zverejním ich na tejto stránke v časti osnova. pošlite ich na kocicky@fi.muni.cz.

V prípade, že chcete dostávať organizačné maily k semináru a nie ste zapísaný do predmetu, pošlite mail na kocicky@fi.

Literatúra

Ako primárny zdroj osnovy a kľúčových slov k danej téme slúži Jan-Willem Buurlage. Milewski slúži ako zdroj intuície a príkladov. Awodey je skutočne doplnkový.

Osnova: Jan-Willem Buurlage - Categories and Haskell

Odporúčaný: Bartosz Milewski - Category Theory for Programmers, prípadne jeho prednášky.

Doplnkové:

Iné:

Rutten, J.J., 2000. Universal coalgebra: a theory of systems. Theoretical computer science, 249(1), pp.3-80.

Nástroje

Na tvorbu rozdavku sa môže hodiť pandoc a tikzcd. Kresliť diagramy môžete napríklad tu.

Príklad rozdavku z prvého semináru v md je tu. tikzcd je generovaný kresliacim nástrojom vyššie.