Bc. Tomáš Janík
Master's thesis
Slabé faktorizační systémy
Weak factorization systems
Anotácia:
Slabé faktorizační systémy mají historický pùvod v abstraktní teorii homotopií, především v teorii modelových kategorií. Přirozeným zpùsobem se ale také objevují v jiných oblastech matematiky a teoretické informatiky, např. v kategorické logice. S jejich pomocí lze také zavést abstraktní pojem ekvivalence, jehož speciálním případem je bisimulace přechodových systémů.Abstract:
Weak factorization systems has its origin in abstract homotopy theory, espacially in model category theory. They naturally occur in other parts of mathematics and theoretical informatics, e.g. in categorical logic. They can also be used to define abstract notion of equivalence, which becomes classical notion of bisimulation of transition systems.Kľúčové slová
slabý faktorizační systém vlastnost zvednutí lokálně prezentovaná kategorie injektivní objekt kategorie zlomků homotopie modelová kategorie bisimulace FOLDS L-ekvivalence weak factorization system lifting property locally presentable category injective object homotopy model category L-equivalence
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 28. 5. 2012
Identifikátor:
https://is.muni.cz/th/nayiv/
Obhajoba závěrečné práce
- Obhajoba proběhla 29. 6. 2012
- Vedúci: prof. RNDr. Jiří Rosický, DrSc.
- Oponent: Bc. Lukáš Vokřínek, PhD.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Theoretical Informatics
Práce na příbuzné téma
-
Slabé faktorizační systémy
Libor Lakota -
Slabé faktorizační systémy
Libor Lakota -
Stanovení půdní struktury a její analýza pro různé kategorie využití půdy na modelové lokalitě Krymlov
Lenka Kolísková