昔つくった圏論のtex