Joao Pita Costa: On categorical skew lattices.