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
2002
-
On simple and semisimple quantales
Topology Atlas Invited Contributions, rok: 2002
-
Spatial Quantales
Applied categorical structures, rok: 2002, ročník: 10, vydání: 1
-
Weak factorization systems and topological functors
Applied Categorical Structures, rok: 2002, ročník: 10, vydání: 1
2001
-
Exact completion and representations in abelian categories
Homology, Homotopy and Applications, rok: 2001, ročník: 2001, vydání: 3
-
How algebraic is algebra?
Theory and Applications of Categories, rok: 2001, ročník: 2001, vydání: 8
-
Interior tensor product of Hilbert modules
Proceedings of the Dresden Conference 2000 (AAA60) and the Summer School 1999, rok: 2001
-
More on orthogonality in locally presentable categories
Cahiers de Topologie et Géometrie Differentielle Catégorique, rok: 2001, ročník: 2001, vydání: XLII
-
On algebraically exact categories and essential localizations of varieties
Journal of Algebra, rok: 2001, ročník: 2001, vydání: 244
-
On pseudocomplemented and Stone ordered sets
Order, rok: 2001, ročník: 18, vydání: 2
-
On sifted colimits and generalized varieties
Theory and Applications of Categories, rok: 2001, ročník: 2001, vydání: 8