簡単な呼び名・言い回しで実は複雑な内容を語っていることがあります。簡単な呼び名・言い回しを、ドリルダウン（だんだん詳細化する）方式で分析してみましょう。例えば「小さな圏の圏の2-圏」は、けっこう複雑な内容を表しています。$`\newcommand{\cat}[1…