About: Categorical methods of the theory of structures and computer science

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

About: Categorical methods of the theory of structures and computer science Goto Sponge Distinct 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/99/0310
Description	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) Projekt rozvíjí metody teorie kategorií, uspořádaných množin a svazů a jejich aplikací v teoretické informatice. Pozornost bude soustředěna na algebraické teorie, variety a algebraické specifikace datových typů, na strukturované kategorie a sématické domény výpočtů a na souvislosti teorie svazů s topologickými a funkcionálně-analytickými strukturami. Zejména budou studovány aplikace algebraických teorií na objektově orientované programování, multiekvacionální specifikace datových typů, klony topologických a algebraických struktur, Lawverův problém z roku 1969 o algebraicitě kategorie variet, zobecnění teorie domén z uspořádaných množin na kategorie, kategoriální vlanosti exaktnosti a jejich užití v teoretické informatice, bezbodové topologické struktury, multiplikativní svazy a jejich moduly a strukturní teorie variet. Projekt bude řešen v mezinárodní spoluprá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.
Title	Categorical methods of the theory of structures and computer science (en) Kategoriální metody teorie struktur a informatiky
skos:notation	GA201/99/0310
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2F0310/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F99%2F0310/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2003-04-01 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
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	744616
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Přírodovědecká fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	2 (xsd:int)
http://linked.open.../pocetVysledkuRIV	48 (xsd:int)
http://linked.open...enychVysledkuVRIV	48 (xsd:int)
http://linked.open...iciPoslednihoRoku	2002
http://linked.open...atUdajeProjZameru	2002
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	Cíle grantového projektu byly splněny. Řešení projektu přineslo řadu originálních poznatků v teorii struktur a informatiky. Závěrečná karta obsahuje úplné údaje o získaných výsledcích. Těžiště projektu spočívalo v základním výzkumu v matematice; výsledky (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	Exact completion and representations in abelian categories From Varieties of Algebras to Covarieties of Coalgebras Continuous categories revisited On the duality between varieties and algebraic theories On quantales and spectra of C*-algebras Distributive ordered sets and relative pseudocomplements Multiplier Algebras of Involutive Quantales Comparing coequalizer and exact completions Being a proper trapezoid ordered set is a comparability invariant Hermitian kernels, Hilbert $Q$-modules and Ando dilation Quantales On sifted colimits and generalized varieties On algebraically exact categories and essential localizations of varieties On pseudocomplemented and Stone ordered sets On Algebraically Exact Categories and Essential Localization of Varieties On Functors Which Are Lax Epimorphisms On Multivarieties and Multialgebraic Theories Varieties without minimal generators Uncountable orthogonality is a closure property Uncountable orthogonality is a closure property A classification of accessible categories A Remark on Conservative Cocompletions of Categories Final Coalgebras are Ideal Completions of Initial Algebras On abstract data types presented by multiequations On a generalized small-object argument for the injective subcategory problem On simple and semisimple quantales On Generalized Small-Object Argument A Coalgebraic View of Infinite Trees and Iteration Stability and Decay to Zero of the L2-norms of Perturbations to a Viscous Compressible Heat Conductive Fluid Motion Exterior to a Ball Injective hulls are not natural More on injectivity in locally presentable categories Weak factorization systems and topological functors Weak Faktorization Systems and Topological Functors A duality between infinitary varieties and algebraic theories Amazingly extensive use of Cook continuum Endomorphism monoids in varieties of bands Local(ic) Enrichments of Categories Categorical Methods of the Theory of Structures and Computer Science Constructions of Solid Hulls Left-determined model categories and universal homotopy theories How algebraic is algebra? Interior tensor product of Hilbert modules How Large Are Left Exact Functors More on orthogonality in locally presentable categories More on Ortogonality in Locally Presentable Categories Spatial Quantales Simultaneously Reflective and Coreflective Subcategories of Presheaves The Bicategory of m-regular Involutive Quantales
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/1999/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/1999/orjk%3A14310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/1999/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2000/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2000/orjk%3A14310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2000/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2001/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2001/orjk%3A14310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2001/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2002/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2002/orjk%3A14310 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F99%2F0310/2002/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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software