The Binary category provides actions on
binary variables.
The Binary category provides these actions: