All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Categorical Methods of the Theory of Structures and Computer Science

Project goals

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.

Keywords

Public support

  • Provider

    Czech Science Foundation

  • Programme

    Standard projects

  • Call for proposals

    Standardní projekty 1 (SGA02002GA-ST)

  • Main participants

    České vysoké učení technické v Praze / Fakulta elektrotechnická

  • Contest type

    VS - Public tender

  • Contract ID

Alternative language

  • Project name in Czech

    Kategoriální metody teorie struktur a informatiky

  • Annotation in Czech

    Projekt rozvíjí metody teorie kategorií, uspořádaných množin, svazů a pologrup a aplikace těchto struktur v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické a koalgebraické specifikace datových typů a na souvislosti teorie svazů s teoretickou informatikou. Zejména budou studovány aplikace koalgebraických a algebraických teorií, na řešení iterativních rovnic a na popis datových struktur, klony topologických a algebraických struktur, kategoriální vlastnosti kategorií koalgeber a jejich užití v teoretické informatice, bisimulace, multiplikativní svazy a jejich moduly a strukturní teorie variet, speciálně variet pologrup. Projekt bude řešen v mezinárodní spoupráci s předními pracovišti v dané oblasti a dosažené výsledky budou publikovány v mezinárodně uznávaných časopisech.

Scientific branches

  • R&D category

    ZV - Basic research

  • CEP classification - main branch

    BA - General mathematics

  • CEP - secondary branch

  • CEP - another secondary branch

  • 10101 - Pure mathematics

Completed project evaluation

  • Provider evaluation

    V - Vynikající výsledky projektu (s mezinárodním významem atd.)

  • Project results evaluation

    The goals of the project were fulfilled in all planned directions. Free iterative theories of C. Elgot were characterized and generalized to locally presentable categories. These results have applications in formal semantics of programming languages. In

Solution timeline

  • Realization period - beginning

    Jan 1, 2002

  • Realization period - end

    Jan 1, 2004

  • 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/2005/GA0/GA05GA/U/N/B:7

  • Data delivery date

    Jun 2, 2008

Finance

  • Total approved costs

    1,856 thou. CZK

  • Public financial support

    1,856 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK

Basic information

Recognised costs

1 856 CZK thou.

Public support

1 856 CZK thou.

100%


Provider

Czech Science Foundation

CEP

BA - General mathematics

Solution period

01. 01. 2002 - 01. 01. 2004