A category is a mathematical object. It can be drawn with dots and arrows. Each arrow goes from one dot to one other dot. There can be many dots, sometimes so many that you cannot count them. An arrow is the abstract idea of a function and the dots are the domain and codomain of the function.