On quantic conuclei in orthomodular lattices. Román, Leopoldo, Zuazua, Rita E. (1996) Theory and Applications of Categories [electronic only]
On the axiomatisation of Boolean categories with and without medial. Strassburger, Lutz (2007) Theory and Applications of Categories [electronic only]
On the geometry of computations René Guitart (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques
On the geometry of intuitionistic S4 proofs. Goubault-Larrecq, Jean, Goubault, Éric (2003) Homology, Homotopy and Applications