Kategoriální metody teorie struktur a informatiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

—

Hlavní účastníci

Masarykova univerzita / Přírodovědecká fakulta

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 and lattices and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic specification of data types, on structured categories and semantical domains of computations and on connections of lattice theory with topological and functional-analytic structures. In particular, there will be studied applications of algebraic theories to object oriented programming,multiequational specifications of data types, clones of topological and algebraic structures, Lawvere's problem from 1969 about the algebraicity of the category of varieties, generalizations of domain theory from ordered sets to categories, categorical propertiesof exactness and their use in theoretical computer science, pointless topological structures, quantales and their modules and the structural theory of varieties. Project will be solved in an international cooperation with reputable experts in

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

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

Zhodnocení výsledků projektu

Cíle grantového projektu byly splněny. Řešení projektu přineslo řadu originálních poznatků v teorii struktur a informatiky. Závěrečná karta obsahuje úplné údaje o získaných výsledcích. Těžiště projektu spočívalo v základním výzkumu v matematice; výsledky

Zahájení řešení

1. 1. 1999

Ukončení řešení

1. 1. 2001

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/2002/GA0/GA02GA/U/N/7:3

Datum dodání záznamu

1. 4. 2003

Celkové uznané náklady

2 256 tis. Kč

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

2 089 tis. Kč

Ostatní veřejné zdroje financování

517 tis. Kč

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

0 tis. Kč