Natural deduction and coherence for non-symmetric linearly distributive categories. Schneck, Robert R. (1999) Theory and Applications of Categories [electronic only]
Notions of flatness relative to a Grothendieck topology. Karazeris, Panagis (2004) Theory and Applications of Categories [electronic only]