Project information
Categorical methods of the theory of structures and computer

Information

This project doesn't include Faculty of Economics and Administration. It includes Faculty of Science. Official project website can be found on muni.cz.
Investor logo
Project Identification
GA201/96/0119
Project Period
1/1996 - 1/1998
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Science
Cooperating Organization
Charles University
Czech Technical University Prague

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.

Publications

Total number of publications: 17


Previous 1 2 Next

You are running an old browser version. We recommend updating your browser to its latest version.