Categorical methods of the theory of structures and computer science
Project goals
The project develops methods of the theory of categories, ordered sets and lattices and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic specification of data types, on structured categories and semantical domains of computations and on connections of lattice theory with topological and functional-analytic structures. In particular, there will be studied applications of algebraic theories to object oriented programming,multiequational specifications of data types, clones of topological and algebraic structures, Lawvere's problem from 1969 about the algebraicity of the category of varieties, generalizations of domain theory from ordered sets to categories, categorical propertiesof exactness and their use in theoretical computer science, pointless topological structures, quantales and their modules and the structural theory of varieties. Project will be solved in an international cooperation with reputable experts in
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Masarykova univerzita / Přírodovědecká fakulta
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Kategoriální metody teorie struktur a informatiky
Annotation in Czech
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.
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Cíle grantového projektu byly splněny. Řešení projektu přineslo řadu originálních poznatků v teorii struktur a informatiky. Závěrečná karta obsahuje úplné údaje o získaných výsledcích. Těžiště projektu spočívalo v základním výzkumu v matematice; výsledky
Solution timeline
Realization period - beginning
Jan 1, 1999
Realization period - end
Jan 1, 2001
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/2002/GA0/GA02GA/U/N/7:3
Data delivery date
Apr 1, 2003
Finance
Total approved costs
2,256 thou. CZK
Public financial support
2,089 thou. CZK
Other public sources
517 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
2 256 CZK thou.
Public support
2 089 CZK thou.
0%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 1999 - 01. 01. 2001