Charles Peirce, Inference, and Category Theory in David Corfield