This is a upcoming paper on a categorical model of DIL.