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