Tengo poca experiencia en Programación en lenguajes funcionales y quería aprender el tipo de teoría. Empecé con la toma de Homotopy tipo de teoría clase de videos en Línea de Robert Harper. Pensé que en lugar de Ir Lento me podría empezar por ahí como esta clase también fue pensada para la gente que no tiene antecedentes en el tipo de teoría.
Soy programador de computadoras y mucho de matemáticas de los desagües de mi cerebro.
La cosa que me pareció muy interesante fue la Categoría de teoría. Nunca quise aprender eso, pero se ve que me pareció tan elegante. Ahora quiero ir Lento a partir de la base de la inclinación de la categoría de la teoría y de la teoría Tipo. Aprendo cosas en fragmentos y se entiende también muchos conceptos. Pero No demasiado claro.
Sé que esta pregunta ha sido respondida antes en relación a la categoría de teoría. Pero amablemente me sugieren, desde la perspectiva de un programador de computadoras, el punto de partida de estas Teorías y Libros / artículos / Blogs para empezar, ya que hay muchos de ellos presentes. De modo que yo pudiera converger la comprensión de ambos campos de perspectiva.
Gracias.
Respuestas
¿Demasiados anuncios?
La mejor introducción a la categoría de teoría sé que para los no-matemáticas de los estudiantes es el de Steve Awodey la Categoría de Teoría. Desarrollado como una introducción a la categoría de teoría de la filosofía de las matemáticas de los estudiantes, el autor también ha utilizado el original apuntes de clase para enseñar ciencias de la computación majors así. El libro es de cuidado,claro, tiene muchos ejemplos y ejercicios y no verter demasiado hardcore matemáticas. Considero que es uno de los mejores libros para los estudiantes de pregrado sobre el tema y creo que ustedes podrían encontrar justo lo que estás buscando.
Yo solía recomendar Adowey todo el tiempo para los estudiantes de pregrado. Pero para las matemáticas de los estudiantes,para ser honesto, prefiero Harold Simmons maravillosa Introducción a la Categoría de Teoría. Está muy bien escrito y acamparon en el mismo nivel como Awodey, pero es mucho más matemático y contiene mucho más de álgebra y topología, a continuación, usted podría sentirse cómodo con. Es posible que desee echar un vistazo, pero se advirtió-es realmente acamparon en matemáticas de los estudiantes.
Usted puede encontrar categorías para los tipos más adecuados que Awodey y Simmons (tal vez seguir leyendo Awodey).
