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.