Informace o projektu
Kategoriální metody teorie struktur a informatiky
- Kód projektu
- GA201/02/0148
- Období řešení
- 1/2002 - 12/2004
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
- Přírodovědecká fakulta
- Spolupracující organizace
-
Univerzita Karlova
- Odpovědná osoba prof. RNDr. Věra Trnková, DrSc.
- Odpovědná osoba doc. RNDr. Marie Demlová, CSc.
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
2008
-
Forbidden retracts for finite ordered sets of width at most four
Discrete Mathematics, rok: 2008, ročník: 308, vydání: 10
2007
-
Combinatorial model categories
Rok: 2007, druh: Další prezentace na konferencích
-
Purity in algebra
Algebra Universalis, rok: 2007, ročník: 56, vydání: 1
2006
-
Ideals in ordered sets, a unifying approach
Rendiconti del Circolo Matematico di Palermo, rok: 2006, ročník: 55, vydání: 1
-
The strength of Engeler's lemma
Mathematical Structures in Computer Science, rok: 2006, ročník: 16, vydání: 2
2005
-
Morita equivalence for m-regular quantales
Proceedings of the Dresden Conference 2004 (AAA68) and the Summer School 2004, rok: 2005
-
On infinitely distributive ordered sets
Mathematica Slovaca, rok: 2005, ročník: 55, vydání: 5
-
Operations and equations for coalgebras
Mathematical Structures in Computer Science, rok: 2005, ročník: 15, vydání: 1
-
Rieffel induction and strong Morita equivalence in the context of Hilbert modules
Soft computing, rok: 2005, ročník: Neuveden, vydání: June 2005
-
Weak factorizations, fractions and homotopies
Applied Categorical Structures, rok: 2005, ročník: 13, vydání: 2