Added some more details about Lack’s model structure.
]]>Fix definition of semi-strict equivalence
]]>It seems that the definition of semi-strict equivalence on this page can’t be right. Shouldn’t they be the ordinary sort of “homotopy equivalences” defined using the semi-strict interval ?
]]>Correcting the terminology for the equivalences: ’strict equivalences’ was used before, which has a different meaning. What was intended, I think, was simply to refer to the fact that the functors are strict.
]]>Creating the page. Described briefly both the usual Lack model structure and the model structure using semi-strict equivalences coming from my thesis. A lot more could be added.
]]>