Proof as a Cluster Category

To design and improve instruction in mathematical proof, mathematics educators require an adequate definition of proof that is faithful to mathematical practice and relevant to pedagogical situations. In both mathematics education and the philosophy of mathematics, mathematical proof is typically defined as a type of justification that satisfies a collection of necessary and sufficient conditions. We argue that defining the proof category in...