João Pita Costa: A Categorical Perspective on Skew Lattices