Etiqueta category-theory - Esta es la página 16 - GeneraCodice

¿Cuál es la relación entre los functors en el SML y la Categoría de la teoría?

https://www.generacodice.com/es/articolo/1118425/cual-es-la-relacion-entre-los-functors-en-el-sml-y-la-categoria-de-la-teoria

functional-programming - programming-languages - category-theory

cs.stackexchange

Cómo son los lenguajes de programación y bases de las matemáticas relacionados con el?

https://www.generacodice.com/es/articolo/1118401/como-son-los-lenguajes-de-programacion-y-bases-de-las-matematicas-relacionados-con-el

programming-languages - type-theory - history - category-theory

cs.stackexchange

¿Son útiles los monoides en la optimización?

https://www.generacodice.com/es/articolo/1110037/son-utiles-los-monoides-en-la-optimizacion

optimization - category-theory - compilers

cs.stackexchange

ocurrencias naturales de las mónadas que hacen uso del marco teórico-categoría

https://www.generacodice.com/es/articolo/1091245/ocurrencias-naturales-de-las-monadas-que-hacen-uso-del-marco-teorico-categoria

category-theory - applied-theory

cs.stackexchange

Mónadas como adjunciones

https://www.generacodice.com/es/articolo/1036772/monadas-como-adjunciones

haskell - monads - functor - category-theory

podría alguien explicar la conexión entre el tipo de covarianza / contravarianza y teoría de la categoría?

https://www.generacodice.com/es/articolo/825644/podria-alguien-explicar-la-conexion-entre-el-tipo-de-covarianza-contravarianza-y-teoria-de-la-categoria

covariance - contravariance - type-theory - category-theory

Una mónada es sólo un monoide en la categoría de endofunctors, ¿cuál es el problema?

https://www.generacodice.com/es/articolo/716071/una-monada-es-solo-un-monoide-en-la-categoria-de-endofunctors-cual-es-el-problema

haskell - monads - category-theory - monoids

Ejemplos de interfaces duales útiles o no triviales

https://www.generacodice.com/es/articolo/512982/ejemplos-de-interfaces-duales-utiles-o-no-triviales

c# - functional-programming - system.reactive - category-theory - reactive-programming

¿Cuáles son Zygo / meta / histo / para / futu / Dyna / lo que sea-morfismos?

https://www.generacodice.com/es/articolo/220992/cuales-son-zygo-meta-histo-para-futu-dyna-lo-que-sea-morfismos

functional-programming - haskell - combinators - category-theory

Recursos para el aprendizaje de la teoría de categorías [cerrado]

https://www.generacodice.com/es/articolo/129956/recursos-para-el-aprendizaje-de-la-teoria-de-categorias-cerrado

math - haskell - category-theory

«
12
13
14
15
16
17
»

Resultados encontrados: 162