>>332
数学労働者用圏論のこと?