Factorization systems and classification problems

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Název česky	Faktorizační systémy a klasifikační problémy
Autoři	ROSICKÝ J.
Rok publikování	2006
Druh	Článek ve sborníku
Konference	Applied and Computational Category Theory ACCAT 2006
Fakulta / Pracoviště MU	Přírodovědecká fakulta
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:	Institut Teoretické Informatiky