16B50 Category-theoretic methods and results (except as in 16D90) [See also 18-XX]
16B70 Applications of logic [See also 03Cxx]
16B99 None of the above, but in this section