About: Categorical methods of the theory of structures and computer

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Categorical methods of the theory of structures and computer Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/96/0119
Description	The project develops methods of category theory and their applications in theoretical computer science. The main topics follow. 1. Fixed points of functors as a formalization of recursive data types: We will investigate conditions on a category under which a lot of endofunctors of that category posess a least fixed point. 2. Sketches and accessible categories: In connection to a recent monograph of J. Adámek and J. Rosický we will investigate possibilities of a description of structures by means of finitary sketches and conditions strengthening accessibility by means of the existence of specified limits or colimits. 3. quantales and -autonomous categories: We will continue the development of the theory and proceed with applications in the semantics ofconcurrent processes (see Abramsky's category of interactions). 4. Pointless topology: A Further development of the theory of locales enriched by a natural structure, e.g. uniformity or nearness, is planned. 5. Clones of varieties of algebras: We will i (en) 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 (n
Title	Categorical methods of the theory of structures and computer (en) Kategoriální metody teorie struktur a informatiky
skos:notation	GA201/96/0119
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F96%2F0119/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F96%2F0119/celkoveNaklady
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	425260
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...ep/partnetrHlavni	Fakulta elektrotechnická
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	24 (xsd:int)
http://linked.open...enychVysledkuVRIV	24 (xsd:int)
http://linked.open...iciPoslednihoRoku	1999
http://linked.open...atUdajeProjZameru	1999
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+dodavatelem	Na řešení projektu se z 11 řešitelů podíleli jednotlivci různě. Projekt byl veden zkušenými odborníky na vysoké mezinárodní úrovni. Jejich výstupy se také setkávaly s větším ohlasem (publikace v mezinárodních časopisech, účast na mezinárodních konferencí (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1996/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1996/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1996/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1997/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1997/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1997/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1998/ico%3A00216224 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1998/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1998/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F96%2F0119/1999/orjk%3A21230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software