Informace o projektu
Kategoriální metody teorie struktur a informatiky

Logo poskytovatele
Kód projektu
GA201/02/0148
Období řešení
1/2002 - 12/2004
Investor / Programový rámec / typ projektu
Grantová agentura ČR
Fakulta / Pracoviště MU
Přírodovědecká fakulta
Spolupracující organizace
Univerzita Karlova
České vysoké učení technické v Praze

Projekt rozvíjí metody teorie kategorií, uspořádaných množin, svazů a pologrup a aplikace těchto struktur v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické a koalgebraické specifikace datových typů a na souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických teorií, na řešení iterativních rovnic a na popis datových struktur, klony topologických a algebraických struktur, kategoriální vlastnosti kategorií koalgeber a jejich užití v teoretické informatice, bisimulace, multiplikativní svazy a jejich moduly a strukturní teorie variet, speciálně variet pologrup. Projekt bude řešen v mezinárodní spoupráci s předními pracovišti v dané oblasti a dosažené výsledky budou publikovány v mezinárodně uznávaných časopisech.

Publikace

Počet publikací: 17


Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.