圏論に自然変換の概念が入ってくると、2-射を持つ2次元の圏（「圏の圏」です）を扱うことになります。圏の直積も普通に使います。例えば、二項関手〈双関手〉の定義には圏の直積が必要です。直積は、関手にも自然変換にも定義できます。その結果、「圏の圏」…