圏論屋の話は他所でやれ。