Is there a reason the cateogry \$$\mathbf{Set}\$$ is the "chosen" category when we define databases? Will we get interesting properties that we wouldn't get if we just defined a database to be functor from \$$\mathbf{Free}(G)\$$ to any category? Or to a specific category like \$$\mathbf{Grp}\$$?