Go to main content | Go to main menu | Go to search

Project information
Categorical methods of the theory of structures and computer

Information

This project doesn't include Institute of Computer Science. 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
  • Standard Projects
MU Faculty or unit
Faculty of Science
Cooperating Organization
Charles University
  • Responsible person prof. RNDr. Věra Trnková, DrSc.
Czech Technical University Prague
  • Responsible person prof. RNDr. Jiří Adámek, DrSc.

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

2002

2001

2000

1999

Previous 1 2 Next

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

More info