Gradual Typing from a Categorical Prespective This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.