[urxvtcd]

I think this is fairly popular, though I have not read it myself: https://bartoszmilewski.com/2014/10/28/category-theory-for-p...