I am a fan of category theory in general, and I appreciate that various brands of generalized smooth spaces (Diffeological spaces, Chen spaces, Frolicher spaces ...) form much nicer categories of ...
I was reading HTT 2.1.4, and I just totally lost what was going on. Could someone provide some motivation for this section? Why do we want another model structure? I'm sorry for not providing ...