Kategoriální metody teorie struktur a informatiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 1 (SGA02002GA-ST)

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta elektrotechnická

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Categorical Methods of the Theory of Structures and Computer Science

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 and algebraic and coalgebraic specifications of data types and on connections of lattice theory with 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, bisimulations, quantales and their modules and structural theory of varieties, with stress on varieties of semigroups. The work on the project will continue 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

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Cíle byly splněny ve všech plánovaných směrech výzkumu. Volné iterativní teorie C. Elgota byly charakterizovány a zobecněny na lokálně prezentovatelné kategorie. Dosažené výsledky mohou být využity ve formální sémantice programovacích jazyků. V teorii ko

Zahájení řešení

1. 1. 2002

Ukončení řešení

1. 1. 2004

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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

CEP/2005/GA0/GA05GA/U/N/B:7

Datum dodání záznamu

2. 6. 2008

Celkové uznané náklady

1 856 tis. Kč

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

1 856 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč