Category Logic Gates