Preface to the special volume: “Chu spaces: theory and applications". de Paiva, Valeria (ed.), Pratt, Vaughan (ed.) (2006) Theory and Applications of Categories [electronic only]
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Cockett, J.R.B., Seely, R.A.G. (1997) Theory and Applications of Categories [electronic only]
Pullback functors and crossed complexes James Howie (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques