Category liberal logic