Category talk:Propositional attitudes