昨日の記事「任意の圏を等式により2-圏とみなす」の冒頭で、「圏を2-圏とみなす」動機を書いたのですが、それは、ゴグエン／バーストル〈Joseph Goguen and Rod Burstall〉のインスティチューション〈institution〉を少し具体的に考えたい、ってことでした。…