Joao Pita Costa: The coset structure of categorical skew lattices.