En matemáticas, específicamente en teoría de categorías, un funtor es un mapeo entre categorías. Los funtores se consideraron por primera vez en la topología algebraica, donde los objetos algebraicos se asocian a espacios topológicos, y los mapas entre estos objetos algebraicos se asocian a mapas continuos entre espacios.
¿Cómo se define un funtor?
En programación funcional, un funtor es un patrón de diseño inspirado en la definición de la teoría de categorías, que permite que un tipo genérico aplique una función interna sin cambiar la estructura del tipo genérico. Esta idea está codificada en Haskell usando clase de tipo. clase Funtor f donde fmap:: (a -> b) -> f a -> f b.
¿Es un funtor un morfismo?
Funtor de identidad: en la categoría C, escrito 1C o idC, asigna un objeto a sí mismo y un morfismo a sí mismo. El funtor identidad es un endofunctor.
¿Qué es un funtor en lingüística?
Palabra funcional en lingüística. En programación de computadoras: Functor (programación funcional) Objeto de función utilizado para pasar punteros de función junto con información de estado. para el uso del término en lenguaje Prolog, consulte Sintaxis y semántica de Prolog.
¿Es list un funtor?
Según los desarrolladores de Haskell, todos los tipos, como Lista, Mapa, Árbol, etc., son instancias del Funtor de Haskell.