Category talk:Set theoretic programming languages