Resultados de la búsqueda a petición "category-theory"
¿Cuál es el caso general de la función de promoción de QuickCheck?
¿Cuál es el término general para un functor con una estructura similar a la de QuickCheck?promote función, es decir, una función de la forma: promote :: (a -> f b) -> f (a -> b)(esta es la inversa deflip $ fmap (flip ($)) :: f (a -> b) -> (a -> ...
Pruebas de nivel de tipo abierto en Haskell / Idris
En Idris / Haskell, uno puede probar las propiedades de los datos anotando los tipos y utilizando constructores GADT, como con Vect, sin embargo, esto requiere codificar la propiedad en el tipo (por ejemplo, un Vect debe ser un tipo separado de ...
Lista basada en la extensión Kan correcta
En el ``Extensiones Kan para la optimización del programa [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf]'' por Ralf Hinze, existe la definición del tipo Lista basada en la extensión Kan correcta del functor olvidadizo de la categoría de monoides en ...
¿Cuál es el análogo de la categoría en la programación?
Descubrí que hay un isomorfismo entre lógica y programación, llamado Correspondencia de Curry-Howard [https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence], entonces, ¿existe alguna equivalencia para la teoría de la Categoría, que ...
¿Por qué un -> a no es un functor?
Refiriéndose específicamente a https://bartoszmilewski.com/2015/04/07/natural-transformations/ [https://bartoszmilewski.com/2015/04/07/natural-transformations/] El autor dice "Esto no es un functor". Puedo definirfmap :: (a -> b) -> (a -> a) -> ...
Relación entre `DList` y` [] `con Codensity
He estado experimentando conCodensity últimamente, que se supone que se relacionaDList con[] entre otras cosas. De todos modos, nunca he encontrado código que establezca esta relación. Después de algunos experimentos terminé con esto: {-# ...
¿Cuál es la definición de Funcional Aplicativo de la teoría de categorías POV?
Pude asignar la definición de Functor de la teoría de categorías a la definición de Haskell de la siguiente manera: desde objetos deHask son tipos, el functorF mapea cada tipoa deHask al nuevo tipoF a diciendo, más o menos, ...
Página 2 de 2