「これが圏論使ってこんな風に表現できるんなら、圏論のこの概念ってこういうのに応用できるんじゃね？」
ということかい？