A folk model structure on omegacat (0)

by Y Lafont, F Metayer, K Worytkiewicz