. . "0"^^ . . . . "GA201/99/0310" . . "Kategori\u00E1ln\u00ED metody teorie struktur a informatiky" . . "2003-04-01+02:00"^^ . . . "48"^^ . . "48"^^ . "Projekt rozv\u00EDj\u00ED metody teorie kategori\u00ED, uspo\u0159\u00E1dan\u00FDch mno\u017Ein a svaz\u016F a jejich aplikac\u00ED v teoretick\u00E9 informatice. Pozornost bude soust\u0159ed\u011Bna na algebraick\u00E9 teorie, variety a algebraick\u00E9 specifikace datov\u00FDch typ\u016F, na strukturovan\u00E9 kategorie a s\u00E9matick\u00E9 dom\u00E9ny v\u00FDpo\u010Dt\u016F a na souvislosti teorie svaz\u016F s topologick\u00FDmi a funkcion\u00E1ln\u011B-analytick\u00FDmi strukturami. Zejm\u00E9na budou studov\u00E1ny aplikace algebraick\u00FDch teori\u00ED na objektov\u011B orientovan\u00E9 programov\u00E1n\u00ED, multiekvacion\u00E1ln\u00ED specifikace datov\u00FDch typ\u016F, klony topologick\u00FDch a algebraick\u00FDch struktur, Lawver\u016Fv probl\u00E9m z roku 1969 o algebraicit\u011B kategorie variet, zobecn\u011Bn\u00ED teorie dom\u00E9n z uspo\u0159\u00E1dan\u00FDch mno\u017Ein na kategorie, kategori\u00E1ln\u00ED vlanosti exaktnosti a jejich u\u017Eit\u00ED v teoretick\u00E9 informatice, bezbodov\u00E9 topologick\u00E9 struktury, multiplikativn\u00ED svazy a jejich moduly a strukturn\u00ED teorie variet. Projekt bude \u0159e\u0161en v mezin\u00E1rodn\u00ED spolupr\u00E1ci s p\u0159edn\u00EDmi pracovi\u0161ti v dan\u00E9 oblasti a dosa\u017Een\u00E9 v\u00FDsledky budou publikov\u00E1ny v mezin\u00E1rodn\u011B uzn\u00E1van\u00FDch \u010Dasopisech." . . "http://www.isvav.cz/projectDetail.do?rowId=GA201/99/0310"^^ . . "Categorical methods of the theory of structures and computer science"@en . "Neuvedeno."@en . . "1"^^ . "C\u00EDle grantov\u00E9ho projektu byly spln\u011Bny. \u0158e\u0161en\u00ED projektu p\u0159ineslo \u0159adu origin\u00E1ln\u00EDch poznatk\u016F v teorii struktur a informatiky. Z\u00E1v\u011Bre\u010Dn\u00E1 karta obsahuje \u00FApln\u00E9 \u00FAdaje o z\u00EDskan\u00FDch v\u00FDsledc\u00EDch. T\u011B\u017Ei\u0161t\u011B projektu spo\u010D\u00EDvalo v z\u00E1kladn\u00EDm v\u00FDzkumu v matematice; v\u00FDsledky"@cs . "The project develops methods of the theory of categories, ordered sets and lattices and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic specification of data types, on structured categories and semantical domains of computations and on connections of lattice theory with topological and functional-analytic structures. In particular, there will be studied applications of algebraic theories to object oriented programming,multiequational specifications of data types, clones of topological and algebraic structures, Lawvere's problem from 1969 about the algebraicity of the category of varieties, generalizations of domain theory from ordered sets to categories, categorical properties of exactness and their use in theoretical computer science, pointless topological structures, quantales and their modules and the structural theory of varieties. Project will be solved in an international cooperation with reputable experts in"@en . . "2"^^ . .