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
.