Keith, you are saying that your diagram is a diagram in the category of categories, but \$$\mathbf{Feas}\$$ is an object in the diagram, so you are assuming that \$$\mathbf{Feas}\$$ is a category, which is what you are supposed to be proving. That seems unhelpful, to say the least.