Polska Wszechnica Informatyczna
Portal wiedzy informatycznej dla studentów, wykładowców oraz absolwentów wydziałów informatyki polskich uczelni wyższych.
Polska Wszechnica Informatyczna
Wykład dotyczy następujących tematów: kategorii kartezjańsko zamkniętych i lambda rachunku, koalgebr, koindukcji i bisymulacji, teorii dziedzin i jej roli w semantyce języków funkcyjnych, a także związków teorii dziedzin z topologią i logiką. Omówione zostaną fundamentalne pojęcia teorii kategorii: funktory, transformacje naturalne, równoważność kategorii, zasada dualności, granice i kogranice.
