Category: sub-Finsler geometry