Obecné algebraické a topologické systémy
Cíle projektu
Navrhovaný projekt je zaměřen na studium obecných algebraických a topologických systémů s ohledem na jejich aplikace a to zejména aplikace do computer science. Vyšetřeny budou především relační systémy s obecnými ( tj. i nekonečnými ) aritami , univerzální algebry, svazy,hypergrupy a topologické prostory. Výzkum bude probíhat jednak z hlediska teorie množin , jednak z hlediska teorie kategorií. Přitom kategoriální přístup bude motivován možnými aplikacemi do computer science. To znamená , že se budemezajímat hlavně o kartézsky uzavřené kategorie, resp. o kategorie, které jsou jejich zobecněním ( kategorie s jistými exponenciálními vlastnostmi ) . Naším cílem bude najít některé nové kategorie vhodné pro využití v computer science.
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
—
Hlavní účastníci
Vysoké učení technické v Brně
Druh soutěže
—
Číslo smlouvy
—
Alternativní jazyk
Název projektu anglicky
General algebraic and topological systems
Anotace anglicky
—
Vědní obory
Kategorie VaV
—
CEP - hlavní obor
BA - Obecná matematika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10101 - Pure mathematics
Termíny řešení
Zahájení řešení
1. 1. 1995
Ukončení řešení
1. 1. 1997
Poslední stav řešení
K - Končící víceletý projekt
Poslední uvolnění podpory
—
Dodání dat do CEP
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/1997/GA0/GA07GA/V/9:7
Datum dodání záznamu
—
Finance
Celkové uznané náklady
230 tis. Kč
Výše podpory ze státního rozpočtu
230 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
230 tis. Kč
Statní podpora
230 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
BA - Obecná matematika
Doba řešení
01. 01. 1995 - 01. 01. 1997