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.
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. (en)