Publicado 2017-08-09
Palabras clave
- Categorias,
- Álgebra,
- Coálgebra,
- inducción,
- coinducción
Cómo citar
Resumen
La coinducción, un concepto dual a la inducción ha sido descubierto y estudiado recientemente. Una forma sencilla de entender su naturalidad es observando que este se refiere a los puntos fijos más grandes, mientras que la inducción se refiere a los mas pequeños. Inicialmente el soporte técnico de la coinducción estaba en la teoría de retículos a través de los puntos fijos más grandes, ahora dicho soporte se centra en el lenguaje de categorías a través de las F-coálgebras finales. Las F-coálgebras son un concepto dual a la generalización de F-álgebras para un funtor F. En el presente trabajo nos centraremos en un tipo muy particular de F-coálgebras: los autómatas de cadena para ilustrar el carácter coinductivo del análisis real a través de resultados clásicos como el teorema fundamental del cálculo, las series de Taylor y la solución de ciertas ecuaciones diferenciales.
MSC2010: 18A05, 18C10,03B70, 68Q65
Descargas
Referencias
[2] Burris S. and Sankappanavar H.P., A Course in Universal Algebra, Springer-Verlarg, New York, 1981.
[3] Fauser B. and Pavlovic D., "Smooth coalgebra: testing vector analysis", Math. Structures Comput. Sci. (2015), 1-141.
[4] Gumm P., "Functor for Coalgebras", Algebra Universalis 45 (2001), No. 2-3, 135-147.
[5] Hansen H.H., Kupke C. and Rutten J.J., "Stream differential equations: specifications formats and solution methods", Log. Methods Comput. Sci 13 (2017), No. 1, 151.
[6] Jacobs B. and Rutten J.J., "A tutorial on (Co)algebras and (Co)induction", EATCS Bulletin 62 (1997), 222-259.
[7] Ortiz G. and Valencia S., "La Categoricidad de los reales en Hilbert, Rev. Bras. Hist. Mat. 10 (2010), No. 19, 39-65.
[8] Pattinson D., An introduction to the Theory of Coalgebras, Course notes Institut für Informatik, München, 2003.
[9] Rutten J.J., "A coinductive calculus of streams", Math. Structures Comput. Sci. 15 (2005), No. 1 93-147.
[10] Rutten J.J., "Behavioural differential equations: a coinductive calculus of streams, automatas and power series", Theoret. Comput. Sci. 308 (2003), 1-153.