Kubické množiny
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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2008.
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/139877/prif_b/ |
| Shrnutí: | 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. 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. |
|---|---|
| Popis jednotky: | Vedoucí práce: Jiří Rosický. |
| Fyzický popis: | 26 l. |