论文标题
介绍logica y tepos y topos elementles para una una note curiosa
Introducción a la teoría de categorías, lógica y topos elementales para una mente curiosa
论文作者
论文摘要
本文介绍了一项研究类别理论如何导致非古典逻辑系统的创建。特别是，图形的基本台象的情况下，还有其他三个与false和true不同的真实值不同。本文中对类别理论的方法避免了专门的数学培训来理解它，因为它试图使数学分支的主要思想成为其他知识学科。这项工作是由第二作者的标题在“逻辑和类别”的标题上介绍的，该作者是由哥斯达黎加大学哲学学院组织的逻辑，认识论和方法论。
This paper presents a study of how the theory of categories leads to the creation of non classical logical systems. In particular, the case of the elementary topos of graphs, where there are three other truth values different from false and true. The approach in this article to the theory of categories avoids specialized mathematical training to understand it, since it seeks to make accessible the main ideas of this branch of mathematics to other disciplines of knowledge. This work was presented by the second author, under the title of "Logic and Categories", at the I Colloquium on Logic, Epistemology and Methodology organized by the School of Philosophy of the University sity of Costa Rica.
