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
2006
-
Distributive ordered sets and relative pseudocomplements
Discussiones Mathematicae General Algebra and Applications, rok: 2006, ročník: 26, vydání: 1
2004
-
Multiplier Algebras of Involutive Quantales
Contributions to General Algebra 14 - Proceedings of the Olomouc Workshop 2002 on General Algebra and the Potsdam Workshop 2003 on General Algebra, rok: 2004
-
The Bicategory of m-regular Involutive Quantales
International Journal of Theoretical Physics, rok: 2004, ročník: 43, vydání: 7-8
2003
-
Continuous categories revisited
Theory and Applications of Categories, rok: 2003, ročník: 11 (2003), vydání: 11
-
Left-determined model categories and universal homotopy theories
Transactions of the American Mathematical Society, rok: 2003, ročník: 555, vydání: 9
-
On quantales and spectra of C*-algebras
Applied Categorical Structures, rok: 2003, ročník: 11/2003, vydání: 6
-
On the duality between varieties and algebraic theories
Algebra Universalis, rok: 2003, ročník: 49 (2003), vydání: 1
2002
-
A classification of accessible categories
Journal of Pure and Applied Algebra, rok: 2002, ročník: 2002, vydání: 1
-
Injective hulls are not natural
Algebra Universalis, rok: 2002, ročník: 48, vydání: 2
-
On a generalized small-object argument for the injective subcategory problem
Cahiers Top. Géom. Diff. Cat., rok: 2002, ročník: XLIII, vydání: 2