Category talk:Non-classical logic