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

Informace

Projekt nespadá pod Ekonomicko-správní fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka projektu je na webu muni.cz.

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

prof. RNDr. Jiří Rosický, DrSc.

Spolupracující organizace

Univerzita Karlova

Odpovědná osoba prof. RNDr. Věra Trnková, DrSc.

České vysoké učení technické v Praze

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

NIEDERLE Josef

Článek v odborném periodiku

Discussiones Mathematicae General Algebra and Applications, rok: 2006, ročník: 26, vydání: 1

2004

Multiplier Algebras of Involutive Quantales

PASEKA Jan

Článek ve sborníku

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

PASEKA Jan

Článek v odborném periodiku

International Journal of Theoretical Physics, rok: 2004, ročník: 43, vydání: 7-8

2003

Continuous categories revisited

ADÁMEK J. LAWVERE F. W. ROSICKÝ Jiří

Článek v odborném periodiku

Theory and Applications of Categories, rok: 2003, ročník: 11 (2003), vydání: 11
Left-determined model categories and universal homotopy theories

ROSICKÝ J. THOLEN W.

Článek v odborném periodiku

Transactions of the American Mathematical Society, rok: 2003, ročník: 555, vydání: 9
On quantales and spectra of C*-algebras

KRUML D. PELLETIER J.-W. RESENDE P. ROSICKÝ J.

Článek v odborném periodiku

Applied Categorical Structures, rok: 2003, ročník: 11/2003, vydání: 6
On the duality between varieties and algebraic theories

ADÁMEK J. LAWVERE F. W. ROSICKÝ Jiří

Článek v odborném periodiku

Algebra Universalis, rok: 2003, ročník: 49 (2003), vydání: 1

2002

A classification of accessible categories

ADÁMEK J. BORCEUX F. LACK S. ROSICKÝ J.

Článek v odborném periodiku

Journal of Pure and Applied Algebra, rok: 2002, ročník: 2002, vydání: 1
Injective hulls are not natural

ADÁMEK J. HERRLICH H. ROSICKÝ Jiří THOLEN W.

Článek v odborném periodiku

Algebra Universalis, rok: 2002, ročník: 48, vydání: 2
On a generalized small-object argument for the injective subcategory problem

ADÁMEK J. HERRLICH H. ROSICKÝ J. THOLEN W.

Článek v odborném periodiku

Cahiers Top. Géom. Diff. Cat., rok: 2002, ročník: XLIII, vydání: 2