Spahn model structure on s Set Cat in HTT

This is a subentry of HTT, A.3.2 and of a reading guide to HTT.