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

Algebra Commons

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

Computer Engineering

Chapman University

Bisimilarity

Articles 1 - 1 of 1

Full-Text Articles in Algebra

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.