Categorical Methods of the Theory of Structures and Computer Science
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 1 (SGA02002GA-ST)
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
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, svazů a pologrup a aplikace těchto struktur v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické a koalgebraické specifikace datových typů a na souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických teorií, na řešení iterativních rovnic a na popis datových struktur, klony topologických a algebraických struktur, kategoriální vlastnosti kategorií koalgeber a jejich užití v teoretické informatice, bisimulace, multiplikativní svazy a jejich moduly a strukturní teorie variet, speciálně variet pologrup. Projekt bude řešen v mezinárodní spouprá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
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The goals of the project were fulfilled in all planned directions. Free iterative theories of C. Elgot were characterized and generalized to locally presentable categories. These results have applications in formal semantics of programming languages. In
Solution timeline
Realization period - beginning
Jan 1, 2002
Realization period - end
Jan 1, 2004
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/2005/GA0/GA05GA/U/N/B:7
Data delivery date
Jun 2, 2008
Finance
Total approved costs
1,856 thou. CZK
Public financial support
1,856 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK