talk:>>42 それでは、圏論を集合論なしで説明してくれ。