Kubické množiny

RNDr. Mgr. Jana Fabriková

Bachelor's thesis

Cubical sets

Anotácia:

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: English

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
• Vedúci: prof. RNDr. Jiří Rosický, DrSc.

Masaryk University

Faculty of Science

Bachelor programme / odbor:
Mathematics / Mathematics