圏論は「ものとしては違うのにどういう訳か構造が似てる」ものの間の関係を考えるためのものなので、上の議論はまさしく圏論を手探りでやっているのだと思います。