Several of those are, in fact, math. (In particular, computer simulation.) The others are mostly phsyical models, which I must admit, I had not thought of. So that yields two; mathematical models (that is to say, formal models) and physical models (that is to say, real-world models). (The line can perhaps be a bit blurry in the case of e.g. digital electronic circuits, but, well, I'm not claiming there's a sharp line.)

That leaves "mythology", which I'm not convinced is a proper modeling medium at all.