Factorization systems and classification problems
Název česky | Faktorizační systémy a klasifikační problémy |
---|---|
Autoři | |
Rok publikování | 2006 |
Druh | Článek ve sborníku |
Konference | Applied and Computational Category Theory ACCAT 2006 |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Obecná matematika |
Klíčová slova | factorization system;weak factorization system;homotopy;bisimulation |
Popis | Je ukázáno využití slabých faktorizačních systémů pro zavedení homotopie a bisimulace. |
Související projekty: |