ianweatherhogg : category   104

 « earlier
freebroccolo (Darin Morrison)
freebroccolo has 148 repositories written in Agda, PureScript, and Shell. Follow their code on GitHub.
github  ocaml  agda  docker  haskell  category  theory  purescript
february 2016 by ianweatherhogg
Understanding ((->) r) as a functor. : haskell
I'm reading "learn you a haskell" and after the chapter on applicative functors I had some confusion: In haskell the Functor instance of ( (->) r) is...
august 2014 by ianweatherhogg
Why Category Theory Matters
Why are people excited about category theory? What is it? Why is it important? What's the big deal? What are some applications of category theory? Answers to these questions.
category  theory
may 2014 by ianweatherhogg
What is the correct definition of ideal monads? | Theory Lunch
This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. One bad and one good definition There is a common definition of ideal monads, which is used, for example, in the paper Coproducts…
april 2014 by ianweatherhogg
A short recap of monads | Theory Lunch
I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Categories A category $latex \mathcal C$ consists of the following: a class $latex \mathrm{Ob}(\mathcal C)$ of objects for any objects $latex A$ and \$latex…
april 2014 by ianweatherhogg
Monoid morphisms, products, and coproducts - Higher Order
Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids …
scala  scalaz  monoid  apocalisp  5*  product  category  theory  free
march 2014 by ianweatherhogg
Wolfgang Jeltsch
Mathematics, computer science, and computers (by Wolfgang Jeltsch)
blogs  haskell  type  category  theory  class  families  5*
may 2012 by ianweatherhogg
per page:    204080120160

Copy this bookmark: