Kubické množiny

RNDr. Mgr. Jana Fabriková

Bakalářská práce

Cubical sets

Anotace:

Kubické množiny jsou předsvazky na kategorii . Kubické množiny a semi-kubické komplexy jsou matematické struktury vhodné pro modelování souběžnosti v informatice. Cílem bakalářské práce je uvést do problematiky kubických množin čtenáře s elementární znalostí teorie kategorií a zmínit příklady využití kubických množin v informatice.

Abstract:

Cubical sets are presheaves on a special category called the box category. Cubical sets and semi-cubical complexes are interesting mathematical structures to model the behaviour of concurrent processes in informatics. The aim of this text is to introduce cubical sets to the undergraduate reader with some basic knowledge of the category theory and to give some elementary examples of their usage in concurrency theory.

Keywords

cubical sets, box category, higher dimensional automata, concurrency

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 6. 6. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 26. 6. 2008
• Vedoucí: prof. RNDr. Jiří Rosický, DrSc.

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Obecná matematika