Open Access. Powered by Scholars. Published by Universities.®

Other Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

PDF

2005

Bisimilarity

Articles 1 - 1 of 1

Full-Text Articles in Other Mathematics

Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický Jan 2005

Weak Factorizations, Fractions And Homotopies, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel.