Notes
- The binomial can be interpreted in terms of what is not (as with structure) whereby two different nonexistences are the same. Or interpreted in terms of what is (as with spirit) whereby two different nonexistences are different.
Choice frameworks are logics (as with proof by contradiction - which is asymmetric)
- A category with a zero object has semantic symmetry with regard to choice frameworks. A category without a zero object, but with initial objects and terminal objects which differ, such as the categories Set or Cat, have syntactic asymmetry.