范畴逻辑(关于范畴逻辑的简介)

大家好，范畴逻辑，关于范畴逻辑的简介很多人还不知道，现在让我们一起来看看吧！

1、 范畴逻辑（categorical logic）是1993年公布的数学名词。

本文关于范畴逻辑的简介就讲解完毕，希望对大家有所帮助。