圏論を使うと、異なる理論の異なる(が考え方が似ている)概念を、統一的に見ることができる。 例えば、群論における群の直積と、位相空間論の直積位相は、群の圏と位相空間の圏の、それぞれでの「圏論的積」というものになっている。 同様の例： ・集合の圏の…