Category talk:Many-valued logic