Zapraszamy na kolejne spotkanie koła! Tym razem referat przedstawi Dominik Bojko, a tematem referatu będzie wstęp do teorii kategorii z zastosowaniami. Serdecznie zapraszamy wszystkich zainteresowanych do P.01 (C-11) w ten piątek (27.05.2022) o godzinie 13:15. Poniżej krótkie streszczenie napisane przez Dominika.

Teoria Kategorii jest dość kontrowersyjnym działem matematyki.Jest próbą zgeneralizowania różnych teorii i działów matematyki przy pomocy jednego konceptu. Niektórzy przez to nazywają ją metamatematyką, czy filozofią matematyki. W swoim nie za długim wprowadzeniu do tej teorii przedstawię bazowe pojęcia teorii kategorii, wraz z wuchtą przykładów oraz kilkoma ważnymi zastosowaniami, głównie w logice, filozofii i programowaniu. Mimo abstrakcyjnego charakteru samej teorii, jest ona w miarę intuicyjna ze względu na jej „wizualny” charakter. Krótko i intuicyjnie omówię między innymi pojęcia: produktu, granicy, curringu, lambda-rachunku, funktora i naturalnej transformacji. Wspomnę też o koncepcie monady, bardzo ważnym ze względu na szerokie zastosowania w programowaniu funkcyjnym.