This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.