Kategoriální metody teorie struktur a informatiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

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

Druh soutěže

—

Číslo smlouvy

—

Název projektu anglicky

Categorical methods of the theory of structures and computer

Anotace anglicky

The project develops methods of category theory and their applications in theoretical computer science. The main topics follow. 1. Fixed points of functors as a formalization of recursive data types: We will investigate conditions on a category under which a lot of endofunctors of that category posess a least fixed point. 2. Sketches and accessible categories: In connection to a recent monograph of J. Adámek and J. Rosický we will investigate possibilities of a description of structures by means of finitary sketches and conditions strengthening accessibility by means of the existence of specified limits or colimits. 3. quantales and *-autonomous categories: We will continue the development of the theory and proceed with applications in the semantics ofconcurrent processes (see Abramsky's category of interactions). 4. Pointless topology: A Further development of the theory of locales enriched by a natural structure, e.g. uniformity or nearness, is planned. 5. Clones of varieties of algebras: We will i

Kategorie VaV

—

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

Na řešení projektu se z 11 řešitelů podíleli jednotlivci různě. Projekt byl veden zkušenými odborníky na vysoké mezinárodní úrovni. Jejich výstupy se také setkávaly s větším ohlasem (publikace v mezinárodních časopisech, účast na mezinárodních konferencí

Zahájení řešení

1. 1. 1996

Ukončení řešení

1. 1. 1998

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/1999/GA0/GA09GA/V/6:6

Datum dodání záznamu

—

Celkové uznané náklady

1 369 tis. Kč

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

1 354 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč