¿Cuál es la base epistemológica de la teoría de categorías?

1. Si observa las páginas 84-86 de la Matemática conceptual clásica de Lawvere y Schanuel , Una primera introducción a las categorías , 2009 2º, encontrará una excelente aplicación de la teoría de categorías a su propia base epistemológica. Explican cómo una parte de la realidad dinámica y siempre cambiante tiene la función de reflejar la realidad. Esta parte incluye papel, computadoras, cerebros y otros medios. El reflejo de la realidad entre lo objetivo y lo subjetivo es una relación entre el pensamiento y la realidad que generalmente se llama “filosofía”, pero para nuestros propósitos aquí es lo mismo que la epistemología.

2. En el objetivo, nos esforzamos por tener pensamientos claros sobre lo que es independiente de nuestros pensamientos, mientras que en lo subjetivo, nos esforzamos por ser lo más claros posible sobre las leyes del pensamiento, la gramática, la lógica pura, el álgebra, la geometría, etc. en. [Lawvere y Schanuel 2009 en 85.]

3. En términos de epistemología, puede usar instrumentos subjetivos para investigar objetos más objetivos, como la categoría de conjuntos abstractos. Por lo tanto, la lista de elementos X puede estar en el dominio A y la lista de las propiedades de X está en el codominio B. Los compuestos de estos listados y clasificaciones se convierten en los mapas estructurales de X y estos mapas registran nuestro conocimiento de X. [ Ibid .]