Categorical methods of the theory of structures and computer
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Kategoriální metody teorie struktur a informatiky
Annotation in Czech
Projekt rozvíjí kategoriální metody a aplikuje je v teoretické informatice. Jde zejména o tato témata: 1. Pevné body funktorů jako formalizace rekursivních datových typů. Budeme vyšetřovat podmínky na kategorii, zaručující, že mnoho endofunktorů této kategorie má nejmenší pevný bod. Budeme vyšetřovat přechod od algebraických CPO k omega-akcesibilním kategoriím. 2. Sketche a akcesibilní kategorie. V návaznosti na nedávnou monografii J.Adámka a J.Rosického budeme zkoumat možnosti popisu struktur finitárními sketchi a podmínky, zesilující akcesibilitu o existenci určitých limit a kolimit. 3. Kvantály a *-autonomní kategorie. Budeme pokračovat v rozvíjení teorie, zejména vzhledem k aplikacím v sémantice konkurentních procesů (viz Abramského kategorie interakcí). 4.Bezbodivá topologie. Budeme dále rozvíjet teorii lokálů, obohacených o přirozenou strukturu, např. uniformitu nebo blízkost. 5. Clony variet algeber. Budeme vyšetřovat realizaci clonu dané variety abstaraktním clonem objektu dané kategorie (n
Scientific branches
R&D category
—
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
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í
Solution timeline
Realization period - beginning
Jan 1, 1996
Realization period - end
Jan 1, 1998
Project status
U - Finished project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP/1999/GA0/GA09GA/V/6:6
Data delivery date
—
Finance
Total approved costs
1,369 thou. CZK
Public financial support
1,354 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK