A categorical model for HM(X)

The axiomatisation of type inference with constraints (system HM(X)) poses
the question of the underlying conceptual basis. This paper is an attempt 
for a categorical characterisation of type inference. In a next step the 
characterisation of constraint type inference is tackled.