Braids and categories