Categorical methods of the theory of structures
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 9 (SGA02006GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/06/0664
Alternative language
Project name in Czech
Kategoriální metody teorie struktur
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, akcesibilní kategorie, algebraické a koalgebraické specifikacedatových typů a souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických struktur 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, akcesibilní funktory, ploché algebry, multiplikativní svazy a jejich moduly a strukturní teorie variet s důrazem na variety pologrup. 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
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
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
During the work on the project, it became apparent that there is a close connection with the homotopy theory and combinatorial model categories, i.e. model categories which are locally presentable and cofibrantly generated. We were able to prove that wea
Solution timeline
Realization period - beginning
Jan 1, 2006
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Apr 25, 2008
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
CEP09-GA0-GA-U/02:2
Data delivery date
Oct 22, 2009
Finance
Total approved costs
1,858 thou. CZK
Public financial support
1,858 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK