General algebraic and topological systems
Project goals
—
Keywords
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
—
Main participants
Vysoké učení technické v Brně
Contest type
—
Contract ID
—
Alternative language
Project name in Czech
Obecné algebraické a topologické systémy
Annotation in Czech
Navrhovaný projekt je zaměřen na studium obecných algebraických a topologických systémů s ohledem na jejich aplikace a to zejména aplikace do computer science. Vyšetřeny budou především relační systémy s obecnými ( tj. i nekonečnými ) aritami , univerzální algebry, svazy,hypergrupy a topologické prostory. Výzkum bude probíhat jednak z hlediska teorie množin , jednak z hlediska teorie kategorií. Přitom kategoriální přístup bude motivován možnými aplikacemi do computer science. To znamená , že se budemezajímat hlavně o kartézsky uzavřené kategorie, resp. o kategorie, které jsou jejich zobecněním ( kategorie s jistými exponenciálními vlastnostmi ) . Naším cílem bude najít některé nové kategorie vhodné pro využití v computer science.
Scientific branches
Solution timeline
Realization period - beginning
Jan 1, 1995
Realization period - end
Jan 1, 1997
Project status
K - Ending multi-year 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/1997/GA0/GA07GA/V/9:7
Data delivery date
—
Finance
Total approved costs
230 thou. CZK
Public financial support
230 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
230 CZK thou.
Public support
230 CZK thou.
0%
Provider
Czech Science Foundation
CEP
BA - General mathematics
Solution period
01. 01. 1995 - 01. 01. 1997