Separoids, Their Categories and a Hadwiger-Type Theorem for Transversals