notes-math-models

(under construction/todo)

you want to say that there exists a homomorphism from a complex complete correct model to a simpler correct model, but actually its a homomorphism from some 'structure' of the complex model onto the simpler. what precisely is meant by 'srructure' there? it's like a reformulation of the model, but what does this mean?