Factorization systems and classification problems

ROSICKÝ, J. Factorization systems and classification problems. In Applied and Computational Category Theory ACCAT 2006. Wien: Vienna University of Technology, 2006, s. 24-26.

Základní údaje

Originální název

Factorization systems and classification problems

Název česky

Faktorizační systémy a klasifikační problémy

Autoři

ROSICKÝ, J.

Vydání

Wien, Applied and Computational Category Theory ACCAT 2006, od s. 24-26, 3 s. 2006

Nakladatel

Vienna University of Technology

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Rakousko

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

factorization system;weak factorization system;homotopy;bisimulation

Štítky

bisimulation, factorization system, homotopy, weak factorization system

---

Anotace

V originále

There is shown how weak factorization systems can be used for introducing homotopy and bisimulation.

Česky

Je ukázáno využití slabých faktorizačních systémů pro zavedení homotopie a bisimulace.

---

Návaznosti

1M0545, projekt VaV

Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky