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