Informace o projektu
Kategoriální metody teorie struktur a informatiky
- Kód projektu
- GA201/99/0310
- Období řešení
- 1/1999 - 1/2001
- 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 prof. RNDr. Jiří Adámek, DrSc.
Projekt rozvíjí metody teorie kategorií, uspořádaných množin a svazů a jejich aplikací v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické specifikace datových typů, na strukturované kategorie a sématické domény výpočtů a na souvislosti teorie svazů s topologickými a funkcionálně-analytickými strukturami. Zejména budou studovány aplikace algebraických teorií na objektově orientované programování, multiekvacionální specifikace datových typů, klony topologických a algebraických struktur, Lawverův problém z roku 1969 o algebraicitě kategorie variet, zobecnění teorie domén z uspořádaných množin na kategorie, kategoriální vlanosti exaktnosti a jejich užití v teoretické informatice, bezbodové topologické struktury, multiplikativní svazy a jejich moduly a strukturní teorie variet. Projekt bude řešen v mezinárodní spoluprá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í: 26
2001
-
Uncountable orthogonality is a closure property
Buletin of the London Mathematical Society, rok: 2001, ročník: 33, vydání: 2
-
Varieties without minimal generators
Algebra Universalis, rok: 2001, ročník: 2001, vydání: 45
2000
-
Being a proper trapezoid ordered set is a comparability invariant
Order, rok: 2000, ročník: 17, vydání: 3
-
Hermitian kernels, Hilbert $Q$-modules and Ando dilation
Contributions to General Algebra, Proceedings of the 58th Workshop on General Algebra 1999, rok: 2000
-
Quantales
Current Research in Operational Quantum Logic - Algebras, Categories, Languages, vydání: Vyd. 1., rok: 2000, počet stran: 17 s.
1999
-
Comparing coequalizer and exact completions
Theory and Applications of Categories, rok: 1999, ročník: 6, vydání: 6