不完全性定理や真理定義不可能性定理などに必要な様々な対角化（補題）に関して、圏論的な視座で整理できないか？みたいな話を知れてよかった気がする