On the axiomatisation of Boolean categories with and without medial. Strassburger, Lutz — 2007 Theory and Applications of Categories [electronic only]