情報数学の理論で圏論の応用がよく顔を出すらしいよ
圏論そのものを研究するんじゃなくて、的に