category-theory

16El calor

1Respuesta

de orden superior ScalaCheck

Considere la siguiente definición de una categoría: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } He aquí un ejemplo para las funciones

scala specifications category-theory scalacheck 2012-05-09

---

150El calor

2Respuesta

aplicaciones del mundo real de prepromorphisms zygohistomorphic

Sí, these ones: {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.F

haskell functional-programming category-theory 2011-02-20

---

10El calor

2Respuesta

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

Estoy empezando a leer acerca de la teoría de categorías, y agradecería mucho que alguien pudiera explicar la conexión entre la contravariancia/covarianza CS y la teoría de categorías. ¿Cuáles serían

covariance contravariance type-theory category-theory 2010-06-26

---

69El calor

5Respuesta

Mónadas como adjuntos

He estado leyendo acerca de las mónadas en la teoría de categorías. Una definición de mónadas usa un par de funtores adjuntos. Una mónada se define mediante un viaje de ida y vuelta utilizando esos fu

haskell monads functor category-theory 2011-01-15

---

8El calor

3Respuesta

Scala - ¿Cómo usar Functors en tipos que no son de Función?

Durante la lectura de la descripción de Functors en este blog: https://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theory-in-scala/ hay una definición genérica de Functor y una más es

function scala functional-programming functor category-theory 2011-09-27

---

15El calor

1Respuesta

Functor es para (a -> b) -> (f a -> f b), ¿qué es para (Categoría c) => c a b -> c (f a) (f b)?

Me gustaría tener una función para asignar una función pura a un contenedor o secuenciar la acción aplicativa/monádica a través de ella. Para el mapeo pura tenemos fmap :: Functor f => (a -> b) -> (f

haskell category category-theory 2011-06-22

---

9El calor

1Respuesta

¿Cómo se define la igualdad para instancias de categoría?

Para demostrar que, por ejemplo, las leyes de categoría tienen algunas operaciones en un tipo de datos, ¿cómo se decide cómo definir la igualdad? Teniendo en cuenta el siguiente tipo de representación

haskell category-theory 2012-09-16

---

29El calor

3Respuesta

¿Todos los funtores de Haskell son endofunctores?

Estoy un poco confundido y necesito que alguien me aclare. Vamos a esbozar mi comprensión actual: Dónde E es un endofunctor y A es alguna categoría: E : A -> A. Desde todos los tipos y morfismos en

haskell category functor category-theory 2010-07-17

---

15El calor

4Respuesta

¿Qué duales matemáticos hay en la programación OO?

Si ha visto Going Deep shows of the Channel9 últimamente, un tema muy mencionado es mathematical duality en la programación. TomasP tiene una buena blog post sobre la dualidad en la programación orien

oop design-patterns category-theory 2010-07-28

---

9El calor

2Respuesta

¿Cuál es la relación entre la opción de doblar, o bien, etc. y doblar en Traversable?

Scalaz proporciona un método denominado fold para diversos ADTs tales como Boolean, Option[_], Validation[_, _], Either[_, _] etc. Este método toma básicamente funciones correspondientes a todos los c

scala functional-programming scalaz category-theory catamorphism 2011-12-16

---