Kategoriální metody teorie struktur

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 9 (SGA02006GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

201/06/0664

Název projektu anglicky

Categorical methods of the theory of structures

Anotace anglicky

The project develops methods of the theory of categories, ordered sets, lattices and semigroups and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties, accessible categories, algebraic and coalgebraic specifications of data types and to lattice-theoretical concepts in theoretical computer science. In particular, we will study applications of algebraic and coalgebraic theories to solutions of iterative equations and specifications of data types,clones of topological and algebraic structures, categorical properties of categories of coalgebras and their use in theoretical computer science, accessible functors, flat algebras, quantales and their modules and structural theory of varieties with stress on varieties of semigroups. In the work on the project we will continue our cooperation with a number of research groups in Europe and North America and the achieved results will be published in internationally recognized journals.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

BA - Obecná matematika

CEP - vedlejší obor

—

CEP - další vedlejší obor

—

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10101 - Pure mathematics

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

V části projektu věnované akcesibilním kategoriím bylo ukázáno, že existuje spojení s teorií homotopií a kombinatorickými modelovými kategoriemi, tj. modelovými kategoriemi, které jsou lokálně prezentovatelné a kofibrantně generované. Ukázali jsme, že sl

Zahájení řešení

1. 1. 2006

Ukončení řešení

31. 12. 2008

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

25. 4. 2008

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP09-GA0-GA-U/02:2

Datum dodání záznamu

22. 10. 2009

Celkové uznané náklady

1 858 tis. Kč

Výše podpory ze státního rozpočtu

1 858 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč