João Pita Costa: A categorical approach to skew lattices