関係圏Relはよく知られ、よく使われる圏です。「量子と古典の物理と幾何＠名古屋」でも関係圏は出てきます。つうか、明白な形で登場する唯一の圏が関係圏Relです。ここでは、関係圏の性質をザッと眺めます。この記事も一般論で、“話すこと”より“話さないこと…