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

Project information
Categorical Methods of the Theory of Structures and Computer Science

Investor logo
Project Identification
GA201/02/0148
Project Period
1/2002 - 12/2004
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 doc. RNDr. Marie Demlová, CSc.

The project develops methods of the theory of categories, ordered sets, lattices and semigroups and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic and coalgebraic specifications of data types and on connections of lattice theory with theoretical computer science. In particular, we will study applications of algebraic and coalgebraic theories to solutions of iterative equations and specifications of data types, clones of topological and algebraic structures, categorical properties of categories of coalgebras and their use in theoretical computer science, bisimulations, quantales and their modules and structural theory of varieties, with stress on varieties of semigroups. The work on the project will continue cooperation with a number of research groups in Europe and North America and the achieved results will be published in internationally recognized journals.

Publications

Total number of publications: 17

2008

2007

2006

2005

Previous 1 2 Next

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