Weak factorizations, fractions and homotopies

• Authors: KURZ Alexander; ROSICKÝ J.
• Year of publication: 2005
• Type: Article in Periodical
• Magazine / Source: Applied Categorical Structures
• MU Faculty or unit: Faculty of Science
• Field: General mathematics
• Keywords: weak factorization system; bisimulation; homotopy
• Description: There is shown that the homotopy category can be assigned to any category equipped with a weak factorization system. A connection with the open map approach to bisimulations (proposed by Joyal, Nielsen and Winskel) is discussed.

Related projects

• Categorical Methods of the Theory of Structures and Computer Science