Curry-Howard correspondence

Curry-Howard correspondence(Q975734) is the isomorphic mapping between arithmetic calculation and logical proofs. This means that any arithmetic calculation can be one-to-one uniquely mapped to a logical operation sequence. This has been extended to Category Theory, meaning that all logical structures and arithemtic numbering system can be mapped to topolgical structures represented in the language of arrows. This is also known as Curry-Howard-Lambek correspondence