@@ -17,9 +17,8 @@ trait Representable[F[_], Rep] {
1717 * (Category Theory, Haskell) Representable Functors - Bartosz Milewski [ (blog post)] ( https://bartoszmilewski.com/2015/07/29/representable-functors/ )
1818 * (Category Theory, Haskell) Category Theory II 4.1: Representable Functors - Bartosz Milewski [ (video)] ( https://www.youtube.com/watch?v=KaBz45nZEZw ) [ Scala code translation] ( https://github.com/typelevel/CT_from_Programmers.scala/blob/master/src/main/tut/2.4-representable-functors.md )
1919 * (Haskell) Zippers Using Representable And Cofree - Chris Penner [ (blog post)] ( http://chrispenner.ca/posts/representable-cofree-zippers ) :
20- * Reasoning with representable functors - Adelbert Chang [ (blog post)] ( https://adelbertc.github.io/posts/2017-08-09-representable-functors.html )
2120 * (Haskell) Radix Sort, Trie Trees, And Maps From Representable Functors - Chris Penner [ (blog post)] ( https://chrispenner.ca/posts/representable-discrimination )
22- * (Haskell) [ Monad.Representable.Reader] ( hackage.haskell.org/package/adjunctions/docs/Control-Monad-Representable-Reader.html ) , [ Monad.Representable.State] ( http://hackage.haskell.org/package/adjunctions/docs/Control-Monad-Representable-State.html ) , [ Comonad.Representable.Store] ( http://hackage.haskell.org/package/adjunctions/docs/Control-Comonad-Representable-Store.html )
21+ * (Haskell) [ Monad.Representable.Reader] ( http:// hackage.haskell.org/package/adjunctions/docs/Control-Monad-Representable-Reader.html) , [ Monad.Representable.State] ( http://hackage.haskell.org/package/adjunctions/docs/Control-Monad-Representable-State.html ) , [ Comonad.Representable.Store] ( http://hackage.haskell.org/package/adjunctions/docs/Control-Comonad-Representable-Store.html )
2322 * Moore for Less - Edward Kmett [ (blog post)] ( https://www.schoolofhaskell.com/user/edwardk/moore/for-less )
2423 * Representable Functors - Danny Gratzer [ (blog post)] ( https://jozefg.bitbucket.io/posts/2013-10-21-representable-functors.html )
2524 * Which Haskell Functors are equivalent to the Reader functor - pigworker [ SO] ( https://stackoverflow.com/a/46502280 )
@@ -44,15 +43,15 @@ trait Adjunction[F[_], G[_]] {
4443}
4544```
4645
47- * Implementations [ Scalaz 7] ( https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Adjunction.scala ) , [ Haskell] ( hackage.haskell.org/package/adjunctions/docs/Data-Functor-Adjunction.html ) , [ Purescript ] ( https://github.com/freebroccolo/purescript-adjunctions/blob/master/docs/Data/Functor/Adjunction.md ) , [ UniMath] ( https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Adjunctions/Core.v ) , [ nLab] ( https://ncatlab.org/nlab/show/adjunction )
46+ * Implementations [ Scalaz 7] ( https://github.com/scalaz/scalaz/blob/series/7.3.x/core/src/main/scala/scalaz/Adjunction.scala ) , [ Haskell] ( http:// hackage.haskell.org/package/adjunctions/docs/Data-Functor-Adjunction.html) , [ UniMath] ( https://github.com/UniMath/UniMath/blob/master/UniMath/CategoryTheory/Adjunctions/Core.v ) , [ nLab] ( https://ncatlab.org/nlab/show/adjunction )
4847
4948Adjunction can be defined between Reader monad and Coreader comonad.
5049
5150* Resources:
5251 * Adjunctions And Battleship - Chris Penner [ (blog post)] ( https://chrispenner.ca/posts/adjunction-battleship )
5352 * Scala Comonad Tutorial, Part 2 - Rúnar Bjarnason [ (blog post)] ( http://blog.higher-order.com/blog/2015/10/04/scala-comonad-tutorial-part-2/ )
5453 * Adjunctions in Everyday Life - Rúnar Bjarnason [ (video Scala)] ( https://www.youtube.com/watch?v=BLk4DlNZkL8 ) [ (video Haskell)] ( https://www.youtube.com/watch?v=f-kdpR0BPqo )
55- * [ Scalaz docs] ( https://github.com/scalaz/scalaz/blob/series/7.3.x/example/src/main/scala/scalaz/example/AdjunctUsage.scala )
54+ * [ Scalaz docs] ( https://github.com/scalaz/scalaz/blob/series/7.3.x/example/src/main/scala-2 /scalaz/example/AdjunctUsage.scala )
5655 * [ Haskell libraries using Adjunctions] ( https://packdeps.haskellers.com/reverse/adjunctions )
5756 * usage in [ ekmett/representable-tries] ( https://github.com/ekmett/representable-tries/blob/master/src/Data/Functor/Representable/Trie.hs#L155-L157 )
5857 * (Haskell) Representing Adjunctions - Edward Kmett [ (blog post)] ( http://comonad.com/reader/2008/representing-adjunctions/ )
0 commit comments