part 2.5, 'The Yoneda Lemma' #52

Zelenya · 2018-02-03T15:46:18Z

Fixes #23

Zelenya · 2018-02-03T15:47:40Z

src/main/tut/2.5-the-yoneda-lemma.md

+forall x . (a -> x) -> F x ≅ F a
+```
+```scala
+(A => ?) ~> F ≅ F[A]


or should it be something like def α[A]: (A => ?) ~> F ≅ F[A] ?

that would translate to

forall x a . (a -> x) -> F x ≅ F a

right, so the current translation seems fine to me.

Zelenya · 2018-02-03T15:48:53Z

src/main/tut/2.5-the-yoneda-lemma.md

+C(a, g) :: C(a, a) -> C(a, x)
+```
+```scala
+def cg[A, X]: C[A, A] => C[A, X]


¯_(ツ)_/¯ It is getting out of hands.

add part 2.5-the-yoneda-lemma

a9bc2b1

Zelenya commented Feb 3, 2018

View reviewed changes

kailuowang approved these changes Feb 9, 2018

View reviewed changes

kailuowang merged commit 467a67f into typelevel:master Feb 16, 2018

Provide feedback