I have a small dataset that contains 5 continuous variables and 1 categorical (7 categories) variable. How can I convert a categorical variable to vectors? What python library should I use? And how this conversion works? Are these vectors also called embedding?